2573 search results - page 22 / 515 » Combinations of Modal Logics |
100
click to vote
CORR
2011
Springer
14 years 9 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
134
click to vote
AIML
2008
15 years 3 months 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...
104
Voted
TABLEAUX
2000
Springer
15 years 5 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...
112
click to vote
AAAI
1990
15 years 3 months ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
81
Voted
EUSFLAT
2009
14 years 11 months ago
2009
