scientific article; zbMATH DE number 1989658

MaRDI QIDQ4430405zbMATH OpenFDO

Authors Marcus Kracht, Oliver Kutz

Publication date 9 October 2003

zbMATH Keywords

completenessfree logicsemantics of first-order modal logicsoundness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2019849
• Some incompletable modal predicate logics
• scientific article; zbMATH DE number 2109537
• scientific article; zbMATH DE number 1735876
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

Cited in

(15)

• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• Counterpart theories for everyone
• Counterpart theory as a semantics for modal logic
• Formula-layered predicate modal logic
• Frame correspondences in modal predicate logic
• Frame constructions, truth invariance and validity preservation in many-valued modal logic
• scientific article; zbMATH DE number 2019849 (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?)
• Frame definability, canonicity and cut elimination in common sense modal predicate logics
• From Frame Properties to Hypersequent Rules in Modal Logics
• The weak logic of modal metaframes
• scientific article; zbMATH DE number 2236678 (Why is no real title available?)
• A nonhybrid logic for crossworld predication
• The logic of counterpart theory with actuality

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 Q4430405)