Pages that link to "Item:Q980942"
From MaRDI portal
The following pages link to On the formal semantics of IF-like logics (Q980942):
Displaying 4 items.
- Defining behaviorizeable relations to enable inference in semi-automatic program synthesis (Q2239281) (← links)
- Classical negation and game-theoretical semantics (Q2258540) (← links)
- Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581) (← links)
- A Compositional Semantics for ‘If Then’ Conditionals (Q2964013) (← links)