Terminating sequent calculi for proving and refuting formulas in S4

DOI10.1093/LOGCOM/EXS053zbMath1325.03019OpenAlexW2115503967MaRDI QIDQ5176550

Camillo Fiorentini

Publication date: 26 February 2015

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exs053

zbMATH Keywords

proof theorysequent calculimodel generationrefutationmodal logic S4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

This page was built for publication: Terminating sequent calculi for proving and refuting formulas in S4