Pages that link to "Item:Q4291871"
From MaRDI portal
The following pages link to Translation Methods for Non-Classical Logics: An Overview (Q4291871):
Displaying 18 items.
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- EXPtime tableaux for ALC (Q1589576) (← links)
- Alternative translation techniques for propositional and first-order modal logics (Q1610677) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Translating non-classical logics into classical logic by using hidden variables (Q2399603) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- Semantics-Based Translation Methods for Modal Logics (Q3983938) (← links)
- On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209) (← links)
- From Search to Computation: Redundancy Criteria and Simplification at Work (Q4916077) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
