scientific article; zbMATH DE number 2019849

MaRDI QIDQ4440544zbMATH OpenFDO

Authors Oliver Kutz

Publication date 4 January 2004

zbMATH Keywords

surveyfirst-order modal logicsubstitution principlesframe completeness

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Recommendations

• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Modal logic. An introduction to its syntax and semantics
• scientific article; zbMATH DE number 218502
• Completeness and incompleteness in first-order modal logic: an overview
• scientific article; zbMATH DE number 1989658

Cited in

(22)

• scientific article; zbMATH DE number 2149470 (Why is no real title available?)
• Possible worlds semantics: a research program that cannot fail?
• scientific article; zbMATH DE number 4037817 (Why is no real title available?)
• A nonhybrid logic for crossworld predication
• Normal predicative logics with graded modalities
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• The weak logic of modal metaframes
• Completeness and incompleteness in first-order modal logic: an overview
• scientific article; zbMATH DE number 221549 (Why is no real title available?)
• scientific article; zbMATH DE number 2236678 (Why is no real title available?)
• Virtual modality
• The genesis of hi-worlds: towards a principle-based possible world semantics
• scientific article; zbMATH DE number 218502 (Why is no real title available?)
• First-order classical modal logic
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• scientific article; zbMATH DE number 2236676 (Why is no real title available?)
• scientific article; zbMATH DE number 2109537 (Why is no real title available?)
• scientific article; zbMATH DE number 1989658 (Why is no real title available?)
• Rabern's semantics for metaphysical and epistemic modalities and the nesting problem
• Modals and ConditionalsNew and Revised Perspectives
• Semantic facts on Kripke frames
• On the essential flatness of possible worlds

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