Investigations into quantified modal logic

DOI10.1305/NDJFL/1074396306MaRDI QIDQ1882400zbMATH OpenOpenAlexFDO

Authors Yannis Stephanou

Publication date 1 October 2004

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1074396306

zbMATH Keywords

completenessfirst-order modal logicpossible worldsserious actualism

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Actualism, serious actualism, and quantified modal logic
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• Quantified modal logic
• First-order modal logic with an `actually' operator
• On modal logics which enrich first-order S5

Cites work

• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• Model theory for modal logic. I: The de re / de dicto distinction
• Necessary beings
• The true modal logic

Cited in

(13)

• Plantinga's haecceitism and simple quantified modal logic
• Associative substitutional semantics and quantified modal logic
• scientific article; zbMATH DE number 2101969 (Why is no real title available?)
• A theoretical investigation into quantitative modal logic
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• Actualism, serious actualism, and quantified modal logic
• Partial semantics for quantified modal logic
• scientific article; zbMATH DE number 2211928 (Why is no real title available?)
• Varying modal theories
• scientific article; zbMATH DE number 3837992 (Why is no real title available?)
• scientific article; zbMATH DE number 1867301 (Why is no real title available?)
• Unifying quantified modal logic
• First-order modal logic with an `actually' operator

This page was built for publication: Investigations into quantified modal logic

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