797 search results - page 19 / 160 » Logics with an existential modality |
91
Voted
TABLEAUX
2000
Springer
15 years 4 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...
99
Voted
AAAI
1990
15 years 1 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...
77
Voted
EUSFLAT
2009
14 years 10 months ago
2009
79
Voted
STACS
2007
Springer
15 years 6 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
153
Voted
FTP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning