Pages that link to "Item:Q6104769"
From MaRDI portal
The following pages link to The MET: The Art of Flexible Reasoning with Modalities (Q6104769):
Displaying 4 items.
- Software tool support for modular reasoning in modal logics of actions (Q1791146) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- Higher-Order Modal Logics: Automation and Applications (Q2970308) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)