Pages that link to "Item:Q4286209"
From MaRDI portal
The following pages link to On the Correspondence Between Modal and Classical Logic: an Automated Approach (Q4286209):
Displaying 17 items.
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- Towards automating duality (Q1343394) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Annotation theories over finite graphs (Q2269516) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Second-order quantifier elimination in higher-order contexts with applications to the semantical analysis of conditionals (Q2462670) (← links)
- Converse-PDL with regular inclusion axioms: a framework for MAS logics (Q2901207) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Towards incorporating background theories into quantifier elimination (Q3643319) (← links)
- On the strength and scope of DLS (Q3647241) (← links)
- Second-order reasoning in description logics (Q3647253) (← links)
- Approximate databases: a support tool for approximate reasoning (Q3647257) (← links)
- On an automated translation of modal proof rules into formulas of the classical logic (Q4317726) (← links)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- (Q4994195) (← links)
