Frame-validity games and absolute minimality of modal axioms

MaRDI QIDQ5224561zbMATH OpenFDO

Authors Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev

Publication date 24 July 2019

zbMATH Keywords

correspondence theoryformula-size gameslower bounds on formula-sizemodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Frame-validity games and lower bounds on the complexity of modal axioms
• Minimal Axiomatization in Modal Logic
• Modal frame correspondences and fixed-points
• On the axiomatization of finite K-frames
• The modal logic of the countable random frame

Cited in

(2)

• Minimal Axiomatization in Modal Logic
• Frame-validity games and lower bounds on the complexity of modal axioms

This page was built for publication: Frame-validity games and absolute minimality of modal axioms

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