Pages that link to "Item:Q3983938"

The following pages link to Semantics-Based Translation Methods for Modal Logics (Q3983938):

Displaying 36 items.

• Identity in modal logic theorem proving (Q687161) (← links)
• Unification theory (Q1124375) (← links)
• Programming in metric temporal logic (Q1128978) (← links)
• Modal translations in substructural logics (Q1198409) (← links)
• Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
• Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
• Representing scope in intuitionistic deductions (Q1274448) (← links)
• The first-order theory of linear one-step rewriting is undecidable (Q1275021) (← links)
• A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
• Indexed systems of sequents and cut-elimination (Q1372944) (← links)
• Swinging types=functions+relations+transition systems (Q1575635) (← links)
• Translations and similarity-based logic programming (Q1606792) (← links)
• A set-theoretic translation method for polymodal logics (Q1904398) (← links)
• A note on assumptions about Skolem functions (Q1904405) (← links)
• Best solving modal equations (Q1971794) (← links)
• Planning from second principles (Q2676578) (← links)
• Counterpart theories for everyone (Q2690141) (← links)
• Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
• Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics (Q3455772) (← links)
• (Q3509058) (← links)
• BELIEF REVISION IN NON-CLASSICAL LOGICS (Q3580673) (← links)
• Regression in Modal Logic (Q3647207) (← links)
• Microcomputer translator for medical text: Theorem verification for chapter two of Zeman's modal logic (Q3771659) (← links)
• (Q4282526) (← links)
• On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209) (← links)
• Translation Methods for Non-Classical Logics: An Overview (Q4291871) (← links)
• SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)
• Translation-Based Revision and Merging for Minimal Horn Reasoning. (Q4576205) (← links)
• Labelling ideality and subideality (Q4632306) (← links)
• Resolution-based calculi for modal and temporal logics (Q4647550) (← links)
• A multi-dimensional terminological knowledge representation language (Q4868227) (← links)
• First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
• Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
• Deciding intuitionistic propositional logic via translation into classical logic (Q5234697) (← links)
• Labelled proofs for quantified modal logic (Q5235254) (← links)
• Resolution calculi for non-normal modal logics (Q6541160) (← links)