Frame definability, canonicity and cut elimination in common sense modal predicate logics
From MaRDI portal
Publication:5019280
DOI10.1093/logcom/exaa067MaRDI QIDQ5019280
Katsuhiko Sano, Takahiro Sawasaki
Publication date: 3 January 2022
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exaa067
sequent calculus; modal predicate logic; Hilbert-style system; frame definability; common sense modal predicate logic