|Abstract||We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reﬂexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The class of topological Kripke frames characterised by the logic includes all frames over Euclidean space where Ra is the positive ﬂow relation of a diﬀerential equation. We establish the completeness of the axiomatisation with respect to the intended class of topological Kripke frames, and investigate tableau calculi for the logic, although tableau completeness and decidability are still open questions.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
I. L. Humberstone (1990). Expressive Power and Semantic Completeness: Boolean Connectives in Modal Logic. Studia Logica 49 (2):197 - 214.
David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev (2005). Products of 'Transitive' Modal Logics. Journal of Symbolic Logic 70 (3):993-1021.
Steve Awodey & Kohei Kishida (2008). Topology and Modality: The Topological Interpretation of First-Order Modal Logic. The Review of Symbolic Logic 1 (2):146-166.
Gerard Allwein, Hilmi Demir & Lee Pike (2004). Logics for Classes of Boolean Monoids. Journal of Logic, Language and Information 13 (3):241-266.
David Fernández-Duque (2011). Dynamic Topological Logic Interpreted Over Minimal Systems. Journal of Philosophical Logic 40 (6):767-804.
Xavier Caicedo & Ricardo O. Rodriguez (2010). Standard Gödel Modal Logics. Studia Logica 94 (2):189 - 214.
Gerard Allwein & Wendy MacCaull (2001). A Kripke Semantics for the Logic of Gelfand Quantales. Studia Logica 68 (2):173-228.
M. J. Cresswell (1995). Incompleteness and the Barcan Formula. Journal of Philosophical Logic 24 (4):379 - 403.
Ágnes Kurucz (2000). On Axiomatising Products of Kripke Frames. Journal of Symbolic Logic 65 (2):923-945.
Franco Montagna & Hiroakira Ono (2002). Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀. Studia Logica 71 (2):227-245.
Wiesław Dziobiak (1981). Strong Completeness with Respect to Finite Kripke Models. Studia Logica 40 (3):249 - 252.
Sorry, there are not enough data points to plot this chart.
Added to index2010-12-22
Recent downloads (6 months)0
How can I increase my downloads?