Kripke semantics for modal systems including S4.3
From MaRDI portal
Publication:1219268
DOI10.1007/BF01152828zbMath0311.02033OpenAlexW2042193210MaRDI QIDQ1219268
Publication date: 1974
Published in: Mathematical Notes (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01152828
Cites Work
This page was built for publication: Kripke semantics for modal systems including S4.3