A set-theoretic translation method for polymodal logics
- 1 January 1995
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 15 (3) , 317-337
- https://doi.org/10.1007/bf00881803
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Highway to the Danger ZoneJournal of Logic and Computation, 1995
- Sequent Calculi for Normal Modal Propositional LogicsJournal of Logic and Computation, 1994
- Translation Methods for Non-Classical Logics: An OverviewLogic Journal of the IGPL, 1993
- Semantics-Based Translation Methods for Modal LogicsJournal of Logic and Computation, 1991
- Decision procedures for elementary sublanguages of set theory: XIII. Model graphs, reflection and decidabilityJournal of Automated Reasoning, 1991
- The automation of syllogisticJournal of Automated Reasoning, 1990
- Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operatorCommunications on Pure and Applied Mathematics, 1985
- Proof Methods for Modal and Intuitionistic LogicsPublished by Springer Nature ,1983
- Reduction of tense logic to modal logic IITheoria, 1975
- Reduction of tense logic to modal logic. IThe Journal of Symbolic Logic, 1974