Pages that link to "Item:Q4982112"
From MaRDI portal
The following pages link to Terminating Tableau Calculi for Hybrid Logics Extending K (Q4982112):
Displayed 4 items.
- A logic for diffusion in social networks (Q2018607) (← links)
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- Extended decision procedure for a fragment of HL with binders (Q2351423) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)