2062 search results - page 186 / 413 » Derivatives of Logical Formulas |
137
click to vote
AAECC
1999
Springer
15 years 4 months ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
144
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
152
click to vote
CONCUR
2001
Springer
15 years 9 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
151
click to vote
ECAI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
161
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We consider two sequent calculi for tense logic in which the syntactic judgements are nested sequents, i.e., a tree of traditional onesided sequents built from multisets of formula...