Pages that link to "Item:Q5277784"
From MaRDI portal
The following pages link to The axiomatic translation principle for modal logic (Q5277784):
Displaying 13 items.
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Efficient local reductions to basic modal logic (Q2055845) (← links)
- Handling transitive relations in first-order automated reasoning (Q2069868) (← links)
- Local is best: efficient reductions to modal logic \textsf{K} (Q2102930) (← links)
- Simulation and Synthesis of Deduction Calculi (Q3185770) (← links)
- A Warning About Translating Axioms (Q3250595) (← links)
- (Q3745828) (← links)
- On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209) (← links)
- Functional translation and second-order frame properties of modal logics (Q4365320) (← links)
- Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Automated Deduction – CADE-19 (Q5900730) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)