Loop-free sequent calculus for modal logic K4

MaRDI QIDQ2809675zbMATH OpenFDO

Authors Julius Andrikonis

Publication date 30 May 2016

Published in Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

K4loop-free sequent calculusmarks and indices

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Cited in

(1)

• Loop-free calculus for modal logic S4. II

This page was built for publication: Loop-free sequent calculus for modal logic K4

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2809675)