Semantics-Based Translation Methods for Modal Logics
From MaRDI portal
Publication:3983938
DOI10.1093/logcom/1.5.691zbMath0746.03010OpenAlexW2088374045MaRDI QIDQ3983938
Publication date: 27 June 1992
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/562835677eb6b69eea3310ce1f81605cbed12046
resolutionKripke semanticsterm rewritingproof searchautomated deductionpredicate modal logicparamodulation
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (26)
A tableau-like proof procedure for normal modal logics ⋮ Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics ⋮ Simulation and Synthesis of Deduction Calculi ⋮ A set-theoretic translation method for polymodal logics ⋮ A note on assumptions about Skolem functions ⋮ Indexed systems of sequents and cut-elimination ⋮ Unification theory ⋮ Programming in metric temporal logic ⋮ Planning from second principles ⋮ Counterpart theories for everyone ⋮ A multi-dimensional terminological knowledge representation language ⋮ Best solving modal equations ⋮ Labelling ideality and subideality ⋮ Resolution-based calculi for modal and temporal logics ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ First-Order Resolution Methods for Modal Logics ⋮ BELIEF REVISION IN NON-CLASSICAL LOGICS ⋮ SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation ⋮ Modal languages and bounded fragments of predicate logic ⋮ Representing scope in intuitionistic deductions ⋮ The first-order theory of linear one-step rewriting is undecidable ⋮ Regression in Modal Logic ⋮ Deciding intuitionistic propositional logic via translation into classical logic ⋮ Labelled proofs for quantified modal logic ⋮ Swinging types=functions+relations+transition systems ⋮ Modal Logic S5 Satisfiability in Answer Set Programming
This page was built for publication: Semantics-Based Translation Methods for Modal Logics
