Pages that link to "Item:Q3185765"
From MaRDI portal
The following pages link to Terminating Tableaux for Dynamic Epistemic Logics (Q3185765):
Displaying 9 items.
- Merging frameworks for interaction (Q1037376) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- Dynamic term-modal logics for first-order epistemic planning (Q2211848) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Tableau method and NEXPTIME-completeness of DEL-sequents (Q2825404) (← links)
- Generalized DEL-Sequents (Q2915058) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- Terminating Tableaux for Hybrid Logic with Eventualities (Q5747764) (← links)