Pages that link to "Item:Q2904047"
From MaRDI portal
The following pages link to Nominal substitution at work with the global and converse modalities (Q2904047):
Displaying 6 items.
- ExpTime tableaux with global caching for hybrid PDL (Q2303231) (← links)
- A prover dealing with nominals, binders, transitivity and relation hierarchies (Q2303237) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities (Q2351166) (← links)
- Nominal syntax with atom substitutions (Q2662669) (← links)
- A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders (Q3010363) (← links)