The following pages link to (Q4179003):
Displayed 6 items.
- Intricate axioms as interaction axioms (Q497427) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Causation (Q1310622) (← links)
- Epistemic logic without closure (Q2695021) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- Doxastic logic: a new approach (Q4646653) (← links)