Quantified modal logics: one approach to rule (almost) them all!
type: Item
instance of: scholarly article
title: Quantified modal logics: one approach to rule (almost) them all!
author: Eugenio Orlandelli
published in: Journal of Philosophical Logic
publication date: 2024-09-17T00:00:00Z
review text: The interaction between standard modal operators and the quantifiers of first-order logic introduces various possibilities and challenges. Using the semantics of possible worlds and accessibility relations, one must decide whether the domains of quantification remain fixed, grow, shrink, or vary as one moves between worlds. Additionally, a choice must be made regarding whether terms have consistent denotations across all worlds (rigid designators) or not (non-rigid designators).\N\NIn this article, Orlandelli proposes a general approach to quantified modal logics capable of simulating most other frameworks. The approach is grounded in a language that employs operators indexed by terms, enabling the expression of \textit{de re} modalities and providing precise control over the interaction between modalities, first-order logic mechanisms, and non-rigid designators. The semantics are built upon a primitive counterpart relation that applies to \(n\)-tuples of objects across possible worlds. This is a primitive two-place relation between \(n+1\)-tuples composed of one world and \(n\) objects inhabiting that world which allows an object to be represented by one, many, or no objects in an accessible world, addressing some limitations of standard individual counterpart theories.\N\NFinally, Orlandelli utilizes cut-free labeled sequent calculi to offer a proof-theoretic characterization of the quantified extensions of first-order definable propositional modal logics. This approach also provides a means to complete many axiomatically incomplete quantified modal logics.
reviewed by: Ignacio D. Viglizzo
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7914752
zbMATH Keywords: quantified modal logics
zbMATH Keywords: first-order logics
zbMATH Keywords: modal logics
zbMATH Keywords: completeness
zbMATH Keywords: sequent calculi
zbMATH Keywords: structural rules
MaRDI profile type: Publication
cites work: Q3001111
cites work: Modal logic
cites work: Q4630801
cites work: Free quantified epistemic logics
cites work: Incompleteness and the Barcan formula
cites work: Geometrisation of first-order logic
cites work: Glivenko sequent classes and constructive cut elimination in geometric logics
cites work: First-order intensional logic
cites work: First-order modal logic
cites work: Quantification in nonclassical logic. Volume I.
cites work: Unifying quantified modal logic
cites work: Contingent identity
cites work: Incompleteness results in Kripke semantics
cites work: Quantified extensions of canonical propositional intermediate logics
cites work: Q5198903
cites work: Q4698331
cites work: The predicate modal logic of provability
cites work: Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
cites work: Proof analysis in modal logic
cites work: Proof theory for quantified monotone modal logics
cites work: Proof Analysis
cites work: Labelled calculi for quantified modal logics with definite descriptions
cites work: Q5224585
cites work: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
DOI: 10.1007/S10992-024-09754-7
description: scientific article; zbMATH DE number 7914752