Exploring a result by Ghilardi: projective formulas vs. the extension property

MaRDI QIDQ5067982zbMATH OpenFDO

Authors Iris van der Giessen

Publication date 4 April 2022

zbMATH Keywords

admissible rulesextension propertymodal logicprojective formulas

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• scientific article; zbMATH DE number 7668094
• Computer Science Logic
• Projective unification in transitive modal logics
• Projective unification in modal logic
• A syntactic approach to unification in transitive reflexive modal logics

Cited in

(1)

• Admissible rules for six intuitionistic modal logics

This page was built for publication: Exploring a result by Ghilardi: projective formulas vs. the extension property

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