Pages that link to "Item:Q4948538"
From MaRDI portal
The following pages link to On the Restraining Power of Guards (Q4948538):
Displayed 7 items.
- Guarded Negation (Q5892612) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness (Q6054107) (← links)
- Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? (Q6075540) (← links)
- Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments (Q6149592) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Uniform guarded fragments (Q6181940) (← links)