The domino relation: Flattening a two-dimensional logic

DOI10.1007/BF00293447zbMath0673.03014OpenAlexW2047150233MaRDI QIDQ1120562

Steven T. Kuhn

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00293447

zbMATH Keywords

completenessaxiomatizationdomino structureextension of modal logic KHumberstone's necessity operatorlogic of absolute necessity

Mathematics Subject Classification ID

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

Related Items

On partially ordered semigroups of relations with domino operations., Derivation rules as anti-axioms in modal logic, Dynamic squares, Relative necessity reformulated, Unnamed Item, Identities of semigroups of relations with an operator of reflexive double cylindrification, An axiomatization for until and since over the reals without the IRR rule, Many-dimensional arrow logics, On identities of relation algebras with domino operations.

Cites Work

• Quantifiers as modal operators
• Two-dimensional modal logic
• Unnamed Item