Quantification in some non-normal modal logics

DOI10.1007/S10992-016-9410-1MaRDI QIDQ1685158zbMATH OpenOpenAlexFDO

Authors Erica Calardo, Antonino Rotolo

Publication date 13 December 2017

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11585/619203

zbMATH Keywords

completenessBarcan schematamulti-relational semanticsquantified non-normal modal logics

Mathematics Subject Classification ID

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

Recommendations

• Proof theory for quantified monotone modal logics
• scientific article; zbMATH DE number 817497
• Quantified modal logic
• Barcan Both Ways
• QMML: Quantified Minimal Modal Logic and Its Applications

Cites work

• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 2170951 (Why is no real title available?)
• scientific article; zbMATH DE number 1852921 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 970636 (Why is no real title available?)
• A Modal Logic for Coalitional Power in Games
• A logic for deontic dilemmas
• A unified completeness theorem for quantified modal logics
• Deontic Logic in Computer Science
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• First-order classical modal logic
• First-order modal logic
• Getting started: Beginnings in the logic of action
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Modal logic
• Multiplex semantics for deontic logic
• Normal monomodal logics can simulate all others
• On the axiomatisation of Elgesem's logic of agency and ability
• QMML: Quantified Minimal Modal Logic and Its Applications
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• Quantification in nonclassical logic. Volume I.
• Quantified modal logic
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Some remarks on (weakly) weak modal logics
• Unifying quantified modal logic
• Universal grammar
• Variants of multi-relational semantics for propositional non-normal modal logics

Cited in

(10)

• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• scientific article; zbMATH DE number 1523027 (Why is no real title available?)
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Variants of multi-relational semantics for propositional non-normal modal logics
• Algebraic semantics of some normal quantified modal systems with the Barcan formula
• Barcan Both Ways
• QMML: Quantified Minimal Modal Logic and Its Applications
• scientific article; zbMATH DE number 5622639 (Why is no real title available?)
• Number of non-Fregean sentential logics that have adequate models

This page was built for publication: Quantification in some non-normal modal logics

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