Pages that link to "Item:Q4948538"

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)