The following pages link to (Q4661972):
Displayed 11 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Inexact knowledge with introspection (Q2271186) (← links)
- Dynamic epistemic logic with communication actions (Q2333668) (← links)
- Knowledge updates: Semantics and complexity issues (Q2457677) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Tableau Method and NEXPTIME-Completeness of DEL-Sequents (Q2825404) (← links)
- Minimal Proof Search for Modal Logic K Model Checking (Q2915084) (← links)
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)
- Group Belief (Q5098739) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)