The following pages link to (Q3227561):
Displayed 10 items.
- A near-optimal method for reasoning about action (Q1134756) (← links)
- Tavole semantiche per sistemi astratti di logica estensionale (Q1237721) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- On the relative merits of path dissolution and the method of analytic tableaux (Q1331929) (← links)
- A constructive approach to state description semantics (Q1414570) (← links)
- The genesis of possible worlds semantics (Q1610613) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Infinity and verifiability in Carnap's inductive logic (Q2446679) (← links)
- Provability as a deontic notion (Q2562852) (← links)
- Finite tree property for first-order logic with identity and functions (Q2565989) (← links)