Visualizing polymorphisms and counter-polymorphisms in S5 modal logic

DOI10.1007/978-3-031-15146-0_25zbMath1524.03016OpenAlexW4294837879MaRDI QIDQ6108755

Unnamed Author

Publication date: 26 July 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-15146-0_25

zbMATH Keywords

modal logicclone theorySheffer functions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Operations and polynomials in algebraic structures, primal algebras (08A40)

Related Items (1)

Logic-sensitivity and bitstring semantics in the square of opposition

Cites Work

• Combinatorial bitstring semantics for arbitrary logical fragments
• New representations of modal functions
• Function Algebras on Finite Sets
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Visualizing polymorphisms and counter-polymorphisms in S5 modal logic