Pages that link to "Item:Q5712428"
From MaRDI portal
The following pages link to Relational and Kleene-Algebraic Methods in Computer Science (Q5712428):
Displaying 9 items.
- The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837) (← links)
- Symbol elimination and applications to parametric entailment problems (Q831921) (← links)
- Solving the \$100 modal logic challenge (Q1006738) (← links)
- Algebraic modal correspondence: Sahlqvist and beyond (Q2401020) (← links)
- Elementary canonical formulae: extending Sahlqvist's theorem (Q2498906) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- First-Order Resolution Methods for Modal Logics (Q4916086) (← links)
- Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA (Q4982120) (← links)
- Polynomial-time checking of generalized Sahlqvist syntactic shape (Q6639733) (← links)
