scientific article; zbMATH DE number 5521794

MaRDI QIDQ3607560zbMATH OpenFDO

Authors Aida Pliuškevičienė

Publication date 2 March 2009

zbMATH Keywords

decidable calculusloop-checkmodal logicsequent calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

Recommendations

• scientific article; zbMATH DE number 804146
• Modal logics in the vicinity of S1
• On modal logics which enrich first-order S5
• Rooted hypersequent calculus for modal logic \textsf{S5}
• Derivational modal logics with the difference modality
• On modal -calculus in S5 and applications
• A cut-free Gentzen formulation of the modal logic S5
• The extensions of the modal logic K5
• scientific article; zbMATH DE number 2015264
• scientific article; zbMATH DE number 4010486

Cited in

(2)

• A deep inference system for the modal logic S5
• Formal justification of underspecification for S5

This page was built for publication:

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