Pages that link to "Item:Q1886323"
From MaRDI portal
The following pages link to Modal and guarded characterisation theorems over finite transition systems (Q1886323):
Displaying 12 items.
- Modal characterisation theorems over special classes of frames (Q732052) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- (Q3085171) (← links)
- (Q3384064) (← links)
- SOME MODEL THEORY OF GUARDED NEGATION (Q4647097) (← links)
- INQUISITIVE BISIMULATION (Q5000255) (← links)
- (Q5091133) (← links)
- PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT (Q5291329) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- Guarded negation (Q5890544) (← links)
- How to tell easy from hard: complexities of conjunctive query entailment in extensions of \(\mathcal{ALC}\) (Q6535408) (← links)