Pages that link to "Item:Q3185765"
From MaRDI portal
The following pages link to Terminating Tableaux for Dynamic Epistemic Logics (Q3185765):
Displayed 6 items.
- A logic for diffusion in social networks (Q2018607) (← 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)