Algebraic semantics for a modal logic close to S1
From MaRDI portal
Publication:2957966
DOI10.1093/LOGCOM/EXU067zbMath1396.03032arXiv1304.6983OpenAlexW2157626909MaRDI QIDQ2957966
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
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