A set-theoretic translation method for polymodal logics
type: Item
instance of: scholarly article
title: A set-theoretic translation method for polymodal logics
zbMATH Open document ID: 0840.03015
DOI: 10.1007/BF00881803
author: Giovanna D'Agostino
author: Angelo Montanari
author: Alberto Policriti
published in: Journal of Automated Reasoning
publication date: 1995-12-20T00:00:00Z
review text: The paper presents a translation of mono- and polymodal logics into a rather weak first-order set theory. It is proved that the translation is an embedding for finitely axiomatizable logics which are complete with respect to Kripke semantics (but not necessarily first-order definable).
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 828192
zbMATH Keywords: translation
zbMATH Keywords: polymodal logics
zbMATH Keywords: weak first-order set theory
zbMATH Keywords: embedding
zbMATH Keywords: finitely axiomatizable logics
zbMATH Keywords: Kripke semantics
reviewed by: Michael Zakharyaschev
MaRDI profile type: Publication
cites work: Q3992552
cites work: Q3781066
cites work: Q3999861
cites work: Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
cites work: The automation of syllogistic. II: Optimization and complexity issues
cites work: Proof methods for modal and intuitionistic logics
cites work: Q3026978
cites work: Highway to the Danger Zone
cites work: Q3852172
cites work: Q3962956
cites work: Semantics-Based Translation Methods for Modal Logics
cites work: Translation Methods for Non-Classical Logics: An Overview
cites work: Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
cites work: \(T\)-theorem proving. I
cites work: Self-reference and modal logic
cites work: Reduction of tense logic to modal logic. I
cites work: Reduction of tense logic to modal logic II
cites work: Sequent Calculi for Normal Modal Propositional Logics
full work available at URL: https://doi.org/10.1007/bf00881803
OpenAlex ID: W2158628691
description: scientific article; zbMATH DE number 828192