1078 search results - page 24 / 216 » The Modal Logic of Probability |
147
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We propose a new definition of the representation theorem for many-valued logics, with modal operators as well, and define the stronger relationship between algebraic models of ...
141
click to vote
CADE
2001
Springer
16 years 2 months ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
112
click to vote
TABLEAUX
2009
Springer
15 years 8 months ago
2009
Springer
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the ...
137
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
mspass is an extension of the first-order theorem prover spass, which can be used as a modal logic theorem prover, a theorem prover for description logics and a theorem prover for ...
125
click to vote
AIML
2004
15 years 3 months ago
2004
The family of normal propositional modal logic systems are given a highly systematic organisation by their model theory. This model theory is generally given using Kripkean frame s...