Actuality, tableaux, and two-dimensional modal logics
type: Item
instance of: scholarly article
title: Actuality, tableaux, and two-dimensional modal logics
zbMATH Open document ID: 1403.03032
author: Fabio Lampert
published in: Erkenntnis
publication date: 2018-10-22T00:00:00Z
review text: The paper's goal is to provide sound and complete tableau systems for a range of first-order modal logics, of suitable syntactic expressivity, that are two-dimensional in the sense that they are equipped with a Kripke semantics in which valuations are parametrized by pairs of possible worlds, one of which is the world in which the formula is being assessed while the other is a world that is treated as actual.
reviewed by: David Makinson
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6960408
zbMATH Keywords: first-order modal logic
zbMATH Keywords: semantic tableaux
zbMATH Keywords: two-dimensional logic
MaRDI profile type: Publication
full work available at URL: s10670-017-9896-0
OpenAlex ID: W2621794756
cites work: Q4348178
cites work: Q4170702
cites work: Q4856189
cites work: First-order modal logic
cites work: A logic for epistemic two-dimensional semantics
cites work: WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?
cites work: Q2966525
cites work: The eliminability of the actuality operator in propositional modal logic
cites work: Actuality in propositional modal logic
cites work: Axioms for actuality
cites work: Roles, Rigidity, and Quantification in Epistemic Logic
cites work: Q3112314
cites work: On the expressive power of first-order modal logic with two-dimensional operators
cites work: A completeness theorem in modal logic
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Counterfactuals.
cites work: Q3518425
cites work: SEMANTIC POLLUTION AND SYNTACTIC PURITY
cites work: A cut-free sequent system for two-dimensional modal logic, and why it matters
cites work: Two-dimensional modal logic
cites work: Q5868872
cites work: First-order modal logic with an `actually' operator
cites work: In the mood
cites work: Q5711935
DOI: 10.1007/S10670-017-9896-0
description: scientific article; zbMATH DE number 6960408