2573 search results - page 73 / 515 » Combinations of Modal Logics |
154
Voted
MLQ
2000
15 years 3 months ago
2000
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
131
Voted
STACS
2010
Springer
15 years 11 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
116
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
141
click to vote
AIML
2008
15 years 5 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
164
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We lay the foundations of a ļ¬rst-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the ļ¬rst-order modelling. In parti...