Visualizing polymorphisms and counter-polymorphisms in S5 modal logic

DOI10.1007/978-3-031-15146-0_25MaRDI QIDQ6108755zbMATH OpenOpenAlexFDO

Authors

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

clone theorymodal logicSheffer functions

Mathematics Subject Classification ID

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

Recommendations

• New representations of modal functions
• scientific article; zbMATH DE number 3997757
• scientific article; zbMATH DE number 1080249
• On a graph calculus for modalities
• Polynomial semantics for modal logics

Cites work

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

Cited in

(1)

• Logic-sensitivity and bitstring semantics in the square of opposition

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108755)