A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4

DOI10.1093/LOGCOM/EXP051zbMath1189.03021OpenAlexW4241785170MaRDI QIDQ3406695

A. Ju. Pljuskevicene, Regimantas Pliuškevičius

Publication date: 19 February 2010

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

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

Mathematics Subject Classification ID

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

Related Items (1)

Loop-free calculus for modal logic S4. I

This page was built for publication: A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4