A set-theoretic translation method for polymodal logics
From MaRDI portal
Publication:1904398
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
embeddingtranslationKripke semanticspolymodal logicsfinitely axiomatizable logicsweak first-order set theory
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (7)
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 ⋮ 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: A set-theoretic translation method for polymodal logics
