1078 search results - page 14 / 216 » The Modal Logic of Probability |
EUSFLAT
2009
13 years 8 months ago
2009
JOLLI
2008
13 years 10 months ago
2008
While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propos...
CORR
2011
Springer
13 years 5 months ago
2011
Springer
In this paper we develop a 2-valued reduction of many-valued logics, into 2-valued multi-modal logics. Such an approach is based on the contextu
AIML
2008
14 years 9 days ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
TABLEAUX
2000
Springer
14 years 2 months ago
2000
Springer
Two things are done in this paper. First, a modal logic in which one can quantify over both objects and concepts is presented; a semantics and a tableau system are given. It is a n...