The following pages link to (Q3227561):
Displaying 19 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)
- \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Hintikka memorial issue: introduction and remarks on Jaakko Hintikka's logical philosophy (Q2334648) (← links)
- Hintikka and the functions of logic (Q2334655) (← links)
- Varieties of rigidity (Q2334657) (← links)
- Labelled tableau systems for some subintuitionistic logics (Q2334660) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← 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)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- Logic without metaphysics (Q6067101) (← links)
