The following pages link to Trees and nest structures (Q5527813):
Displaying 6 items.
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- A near-optimal method for reasoning about action (Q1134756) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- Editor's introduction to Jean van Heijenoort, ``Historical development of modern logic'' (Q1942090) (← links)
- Jean van Heijenoort's contributions to proof theory and its history (Q1942094) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)
