Algebraic semantics for a modal logic close to S1

DOI10.1093/LOGCOM/EXU067zbMath1396.03032arXiv1304.6983OpenAlexW2157626909MaRDI QIDQ2957966

Steffen Lewitzka

Publication date: 31 January 2017

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.6983

zbMATH Keywords

modal logicalgebraic semanticsnon-Fregean logicstrict equivalencepropositional identity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (2)

Reasoning about proof and knowledge ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity

This page was built for publication: Algebraic semantics for a modal logic close to S1