A set-theoretic translation method for polymodal logics

DOI10.1007/BF00881803zbMath0840.03015OpenAlexW2158628691MaRDI QIDQ1904398

Giovanna D'Agostino, Angelo Montanari, Alberto Policriti

Publication date: 20 December 1995

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00881803

zbMATH Keywords

embeddingtranslationKripke semanticspolymodal logicsfinitely axiomatizable logicsweak first-order set theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Related Items (8)

Three-variable statements of set-pairing ⋮ Two-sorted metric temporal logics ⋮ Adding the power-set to description logics ⋮ The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations ⋮ Reasoning on relations, modalities, and sets ⋮ Decidability results for metric and layered temporal logics ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators

Cites Work

• Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidability
• Proof methods for modal and intuitionistic logics
• Self-reference and modal logic
• The automation of syllogistic. II: Optimization and complexity issues
• \(T\)-theorem proving. I
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
• Semantics-Based Translation Methods for Modal Logics
• Reduction of tense logic to modal logic. I
• Reduction of tense logic to modal logic II
• Sequent Calculi for Normal Modal Propositional Logics
• Translation Methods for Non-Classical Logics: An Overview
• Highway to the Danger Zone
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A set-theoretic translation method for polymodal logics