34 search results - page 1 / 7 » A Decision Procedure for a Temporal Belief Logic |
ICTL
1994
15 years 2 months ago
1994
This paper presents a temporal belief logic called
103
click to vote
CSFW
1999
IEEE
15 years 3 months ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
102
click to vote
CLIMA
2007
15 years 9 days ago
2007
We present a sound and complete tableau calculus for a class BReg of extended regular modal logics which contains useful epistemic logics for reasoning about agent beliefs. Our cal...
CADE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we study the decidability of various fragments of monodic first-order temporal logic by temporal resolution. We focus on two resolution calculi, namely, monodic tempo...
90
Voted
IANDC
2007
14 years 10 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...