Two-dimensional modal logic

DOI10.1007/BF02115610zbMath0259.02013OpenAlexW1966911791MaRDI QIDQ5921595

Krister Segerberg

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

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, 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

• Modal logic with subjunctive conditionals and dispositional predicates
• On the Logic of “To‐morrow”¹
• To the memory of Arthur Prior Formal properties of ‘now’