Two-dimensional modal logic
From MaRDI portal
Publication:5921595
DOI10.1007/BF02115610zbMath0259.02013OpenAlexW1966911791MaRDI QIDQ5921595
Publication date: 1973
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02115610
Related Items (52)
Agential free choice ⋮ On modal logics betweenK × K × KandS5 × S5 × S5 ⋮ A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ The decision problem of modal product logics with a diagonal, and faulty counter machines ⋮ Undecidability of modal and intermediate first-order logics with two individual variables ⋮ Non-finitely axiomatisable two-dimensional modal logics ⋮ Dynamic squares ⋮ Multimodal logics of products of topologies ⋮ Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization ⋮ The domino relation: Flattening a two-dimensional logic ⋮ Ontologies for plane, polygonal mereotopology ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ A decidable temporal logic of parallelism ⋮ Prior on an insolubilium of Jean Buridan ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting ⋮ Semiproducts, products, and modal predicate logics: some examples ⋮ Quantifiers as modal operators ⋮ An NP-complete fragment of fibring logic ⋮ Predicate metric tense logic for `now' and `then' ⋮ A logic for epistemic two-dimensional semantics ⋮ Axiomatization of modal logic squares with distinguished diagonal ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ On possible worlds with modal parts. A semantics for modal interaction ⋮ Information dynamics and uniform substitution ⋮ Necessarily Maybe: Quantifiers, Modality and Vagueness ⋮ On the axiomatizability of some first-order spatio-temporal theories ⋮ Products of ‘transitive” modal logics ⋮ Decidable fragments of first-order modal logics ⋮ Temporal reference in linear tense logic ⋮ Two-dimensional modal logic ⋮ All normal extensions of S5-squared are finitely axiomatizable ⋮ `Now' and `then' in tense logic ⋮ Unnamed Item ⋮ Non-primitive recursive decidability of products of modal logics with expanding domains ⋮ Worlds and times ⋮ Decidability of cylindric set algebras of dimension two and first-order logic with two variables ⋮ On squares of modal logics with additional connectives ⋮ Actuality, tableaux, and two-dimensional modal logics ⋮ Graph games and logic design ⋮ Segerberg Squares of Modal Logics and Theories of Relation Algebras ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ Propositional quantification in bimodal S5 ⋮ Combining temporal logic systems ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability ⋮ Products of Modal Logics with Diagonal Constant Lacking the Finite Model Property ⋮ Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation ⋮ Modal logics of domains on the real plane ⋮ The logic of viewpoints ⋮ On the Essential Flatness of Possible Worlds ⋮ On axiomatising products of Kripke frames ⋮ An essay in combinatory dynamic logic
Cites Work
This page was built for publication: Two-dimensional modal logic
