Quantification in some non-normal modal logics

DOI10.1007/S10992-016-9410-1zbMATH Open1417.03148OpenAlexW2549644848MaRDI QIDQ1685158FDOQ1685158

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

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

zbMATH Keywords

completenessBarcan schematamulti-relational semanticsquantified non-normal modal logics

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Getting started: Beginnings in the logic of action
• Title not available (Why is that?)
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• QMML: Quantified Minimal Modal Logic and Its Applications
• Universal grammar
• First-order classical modal logic
• Quantification in nonclassical logic. Volume I.
• Deontic Logic in Computer Science
• A logic for deontic dilemmas
• Title not available (Why is that?)
• Unifying quantified modal logic
• On the axiomatisation of Elgesem's logic of agency and ability
• A unified completeness theorem for quantified modal logics
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Title not available (Why is that?)
• Some remarks on (weakly) weak modal logics
• Normal monomodal logics can simulate all others
• Multiplex semantics for deontic logic
• Quantified modal logic
• QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
• 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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)