Path calculus in the modal logic S4

DOI10.1007/S10986-005-0010-YzbMath1076.03014OpenAlexW2096579320MaRDI QIDQ2571516

Yanyan Li

Publication date: 11 November 2005

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-005-0010-y

zbMATH Keywords

inverse methodtableau methodmodal logic S4

Mathematics Subject Classification ID

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

Cites Work

• Decidability of some classes of modal logic
• How to optimize proof-search in modal logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Path calculus in the modal logic S4