711 search results - page 25 / 143 » Modal Logics are Coalgebraic |
EUSFLAT
2009
14 years 7 months ago
2009
132
click to vote
FTP
1998
Springer
15 years 2 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
EUSFLAT
2007
14 years 11 months ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
AIR
2002
14 years 9 months ago
2002
There is increasing use of combinations of modal logics in both foundational and
106
click to vote
AIML
2008
14 years 11 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...