607 search results - page 18 / 122 » Axiomatizing hybrid logic using modal logic |
FLAIRS
1998
14 years 11 months ago
1998
Epistemic and doxastic modal logics (Hintikka [1962]), and the logics of theory change and belief revision (Alchourr6net. al. [1985], Giirdenfors [1988]) are used for the represen...
TARK
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
JAPLL
2010
14 years 4 months ago
2010
We present a decision procedure for hybrid logic equipped with nominals, the satisfaction operator and existential, difference, converse, reflexive, symmetric and transitive modal...
91
Voted
ATAL
2006
Springer
14 years 11 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
101
click to vote
ICTL
1994
15 years 1 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...