2035 search results - page 88 / 407 » On the complexity of stratified logics |
155
click to vote
ICDT
2007
ACM
16 years 13 days ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...
172
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We repor...
165
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
Approximate Herbrand theorems are established for first-order fuzzy logics based on continuous t-norms, and used to provide proof-theoretic proofs of Skolemization for their Prenex...
197
click to vote
WCE
2007
15 years 7 months ago
2007
- In the speed-independent logic, the hazards caused by input inverters are identified. The known methods of the elimination of such hazards are based on avoiding input inverters. ...
182
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...