The following pages link to (Q4783312):
Displayed 12 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- On the succinctness of some modal logics (Q360052) (← links)
- Foundations of instance level updates in expressive description logics (Q420809) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Reasoning about cooperation, actions and preferences (Q1036058) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary R (Q3185766) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- (Q5232899) (← links)
- Regular Graphs and the Spectra of Two-Variable Logic with Counting (Q5258916) (← links)
- Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction (Q5277913) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)