797 search results - page 17 / 160 » Logics with an existential modality |
130
click to vote
INFORMATICALT
2006
15 years 4 months ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
146
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
121
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
142
click to vote
AIML
1998
15 years 5 months ago
1998
Abstract. This paper presents a resolution decision procedure for transitive propositional modal logics. The procedure combines the relational translation method with an ordered ch...
101
click to vote
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.