711 search results - page 25 / 143 » Modal Logics are Coalgebraic |
232
click to vote
FTP
1998
Springer
15 years 10 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
127
click to vote
EUSFLAT
2007
15 years 7 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...
130
click to vote
AIR
2002
15 years 6 months ago
2002
There is increasing use of combinations of modal logics in both foundational and
202
click to vote
AIML
2008
15 years 7 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 ...