2062 search results - page 81 / 413 » Derivatives of Logical Formulas |
143
click to vote
EXACT
2007
15 years 7 months ago
2007
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
144
click to vote
APAL
2010
15 years 5 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
149
click to vote
JSYML
2006
15 years 5 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
146
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
132
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...