The following pages link to Why combine logics? (Q1370455):
Displaying 9 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)
- Truth-values as labels: a general recipe for labelled deduction (Q3643258) (← links)
- Combining Valuations with Society Semantics (Q3647202) (← links)
- Modulated fibring and the collapsing problem (Q4451732) (← links)
