1860 search results - page 199 / 372 » A Temporal Logic of Robustness |
115
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
143
click to vote
ATAL
2011
Springer
14 years 1 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
126
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
118
click to vote
CONCUR
2004
Springer
15 years 7 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...
125
Voted
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...