The following pages link to Why combine logics? (Q1370455):
Displaying 6 items.
- Combined model checking for temporal, probabilistic, and real-time logics (Q407511) (← links)
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Fibring as biporting subsumes asymmetric combinations (Q2259004) (← links)
- Fibring: completeness preservation (Q2732291) (← links)
