Falsification-aware calculi and semantics for normal modal logics including S4 and S5

From MaRDI portal
Publication:6169323

DOI10.1007/s10849-022-09386-7OpenAlexW4301368582MaRDI QIDQ6169323

Norihiro Kamide

Publication date: 14 August 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-022-09386-7






Cites Work




This page was built for publication: Falsification-aware calculi and semantics for normal modal logics including S4 and S5