2573 search results - page 46 / 515 » Combinations of Modal Logics |
125
Voted
AML
2006
15 years 3 months ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
135
Voted
IANDC
2010
15 years 2 months ago
2010
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
118
Voted
TABLEAUX
1999
Springer
15 years 8 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
94
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
122
Voted
TLCA
2001
Springer
15 years 8 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...