Frame correspondences in modal predicate logic

MaRDI QIDQ3001111zbMATH OpenFDO

Authors Johan van Benthem

Publication date 31 May 2011

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1418444
• Some incompletable modal predicate logics
• Modal correspondence theory in the class of all Euclidean frames
• Modal correspondence for models
• scientific article; zbMATH DE number 1989658

Cited in

(13)

• First-order modal logic: frame definability and a Lindström theorem
• Quantifier-free epistemic term-modal logic with assignment operator
• On the expressive power of first-order modal logic with two-dimensional operators
• A new modal framework for epistemic logic
• Frame problem in dynamic logic
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• Modal frame characterization by way of auxiliary modalities
• scientific article; zbMATH DE number 1936763 (Why is no real title available?)
• Formalizing action and change in modal logic I: the frame problem
• scientific article; zbMATH DE number 1418444 (Why is no real title available?)
• From Frame Properties to Hypersequent Rules in Modal Logics
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Quantified modal logics: one approach to rule (almost) them all!

This page was built for publication: Frame correspondences in modal predicate logic

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