Pages that link to "Item:Q4365320"
From MaRDI portal
The following pages link to Functional translation and second-order frame properties of modal logics (Q4365320):
Displaying 17 items.
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Alternative translation techniques for propositional and first-order modal logics (Q1610677) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
- Unsorted functional translations (Q2825403) (← 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)
- Translation Methods for Non-Classical Logics: An Overview (Q4291871) (← links)
- An empirical analysis of modal theorem provers (Q4443417) (← links)
- (Q4625704) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
- The axiomatic translation principle for modal logic (Q5277784) (← links)
- Automated Deduction – CADE-19 (Q5900730) (← links)
- Connection calculus theorem proving with multiple built-in theories (Q5927987) (← links)