Pages that link to "Item:Q2751373"
From MaRDI portal
The following pages link to Encoding two-valued nonclassical logics in classical logic (Q2751373):
Displaying 15 items.
- A description logic based situation calculus (Q604908) (← links)
- A new methodology for developing deduction methods (Q1037405) (← links)
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators (Q1432885) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← 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)
- A tableau calculus for minimal modal model generation (Q2825415) (← links)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- Verification of the logical sequence in nonclassical multivalued logic (Q4565258) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Many-valued Logics in Classical and Quantum Gates (Q5463277) (← links)
