The domino relation: Flattening a two-dimensional logic
From MaRDI portal
Publication:1120562
DOI10.1007/BF00293447zbMath0673.03014OpenAlexW2047150233MaRDI QIDQ1120562
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
completenessaxiomatizationdomino structureextension of modal logic KHumberstone's necessity operatorlogic of absolute necessity
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