Quantification in some non-normal modal logics

DOI10.1007/s10992-016-9410-1zbMath1417.03148OpenAlexW2549644848MaRDI QIDQ1685158

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)

Cites Work

• Quantification in nonclassical logic. Volume I.
• Unifying quantified modal logic
• On the axiomatisation of Elgesem's logic of agency and ability
• First-order classical modal logic
• Some remarks on (weakly) weak modal logics
• Getting started: Beginnings in the logic of action
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• First order extensions of classical systems of modal logic. The role of the Barcan schemas
• First-order modal logic
• A logic for deontic dilemmas
• Multiplex semantics for deontic logic
• Normal monomodal logics can simulate all others
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• A Modal Logic for Coalitional Power in Games
• A unified completeness theorem for quantified modal logics
• Variants of multi-relational semantics for propositional non-normal modal logics
• QMML: Quantified Minimal Modal Logic and Its Applications
• Universal grammar
• Deontic Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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