Quantification in some non-normal modal logics
type: Item
instance of: scholarly article
title: Quantification in some non-normal modal logics
zbMATH Open document ID: 1417.03148
author: Erica Calardo
author: Antonino Rotolo
published in: Journal of Philosophical Logic
publication date: 2017-12-13T00:00:00Z
full work available at URL: http://hdl.handle.net/11585/619203
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6818102
zbMATH Keywords: quantified non-normal modal logics
zbMATH Keywords: multi-relational semantics
zbMATH Keywords: completeness
zbMATH Keywords: Barcan schemata
MaRDI profile type: Publication
OpenAlex ID: W2549644848
cites work: First order extensions of classical systems of modal logic. The role of the Barcan schemas
cites work: Quantified modal logic
cites work: First-order classical modal logic
cites work: Modal logic
cites work: Variants of multi-relational semantics for propositional non-normal modal logics
cites work: Q3867808
cites work: A unified completeness theorem for quantified modal logics
cites work: Q4942680
cites work: Q4845472
cites work: First-order modal logic
cites work: Investigations in modal and tense logics with applications to problems in philosophy and linguistics
cites work: Quantification in nonclassical logic. Volume I.
cites work: Q4789451
cites work: Unifying quantified modal logic
cites work: Q5688815
cites work: Multiplex semantics for deontic logic
cites work: Q4678458
cites work: Deontic Logic in Computer Science
cites work: A logic for deontic dilemmas
cites work: Q5198903
cites work: On the axiomatisation of Elgesem's logic of agency and ability
cites work: A Modal Logic for Coalitional Power in Games
cites work: Some remarks on (weakly) weak modal logics
cites work: Getting started: Beginnings in the logic of action
cites work: Normal monomodal logics can simulate all others
cites work: Q5339289
cites work: Universal grammar
cites work: Q3346126
cites work: Q4068699
cites work: QMML: Quantified Minimal Modal Logic and Its Applications
cites work: QUANTIFIED MODAL LOGIC WITH NEIGHBORHOOD SEMANTICS
DOI: 10.1007/S10992-016-9410-1
description: scientific article; zbMATH DE number 6818102