1078 search results - page 13 / 216 » The Modal Logic of Probability |
86
Voted
AUSAI
2005
Springer
15 years 5 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...
103
click to vote
AIML
1998
15 years 1 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...
TABLEAUX
1999
Springer
15 years 4 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.
112
click to vote
IGPL
2010
14 years 10 months ago
2010
Fusion is a well-known form of combining normal modal logics endowed with a Hilbert calculi and a Kripke semantics. Herein, fusion is studied over logic systems using sequent calc...
EUSFLAT
2009
14 years 9 months ago
2009