A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4

DOI10.1093/jigpal/5.2.287zbMath0869.03011OpenAlexW2167548413MaRDI QIDQ3126407

Serenella Cerrito, Marta Cialdea Mayer

Publication date: 2 June 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/5.2.287

zbMATH Keywords

contractiontableauxsequent calculusmodal logic S4proof searching procedurespolynomial translationFitting's translationloop-detection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Hintikka multiplicities in matrix decision methods for some propositional modal logics

This page was built for publication: A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4