Semantics-Based Translation Methods for Modal Logics

Cited In (33)

Title not available (Why is that?)
A note on assumptions about Skolem functions
Translations and similarity-based logic programming
Deciding intuitionistic propositional logic via translation into classical logic
Title not available (Why is that?)
Labelling ideality and subideality
Representing scope in intuitionistic deductions
The first-order theory of linear one-step rewriting is undecidable
Modal languages and bounded fragments of predicate logic
SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation
Indexed systems of sequents and cut-elimination
Programming in metric temporal logic
Multimodal logic programming using equational and order-sorted logic
First-Order Resolution Methods for Modal Logics
Resolution-based calculi for modal and temporal logics
Simulation and Synthesis of Deduction Calculi
Best solving modal equations
Unification theory
A tableau-like proof procedure for normal modal logics
A multi-dimensional terminological knowledge representation language
Swinging types=functions+relations+transition systems
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
Planning from second principles
A set-theoretic translation method for polymodal logics
BELIEF REVISION IN NON-CLASSICAL LOGICS
Modal translations in substructural logics
Regression in Modal Logic
Counterpart theories for everyone
Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic
Translation-Based Revision and Merging for Minimal Horn Reasoning.
Modal Logic S5 Satisfiability in Answer Set Programming
Resolution calculi for non-normal modal logics
Labelled proofs for quantified modal logic

This page was built for publication: Semantics-Based Translation Methods for Modal Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3983938)