Pages that link to "Item:Q420837"
From MaRDI portal
The following pages link to The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837):
Displaying 6 items.
- Semantic forgetting in expressive description logics (Q831928) (← links)
- The elimination of \textit{de re} formulas (Q1368754) (← links)
- Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
- Predicate Elimination for Preprocessing in First-Order Theorem Proving (Q2818027) (← links)
- Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)
- On the strength and scope of DLS (Q3647241) (← links)