The following pages link to (Q4430407):
Displaying 20 items.
- Existential second-order logic and modal logic with quantified accessibility relations (Q259071) (← links)
- A description logic based situation calculus (Q604908) (← links)
- Automata-based axiom pinpointing (Q707741) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Reasoning about cooperation, actions and preferences (Q1036058) (← links)
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic (Q1855229) (← links)
- Adding the power-set to description logics (Q1989328) (← links)
- A system of relational syllogistic incorporating full Boolean reasoning (Q2255203) (← links)
- On the complexity of graded modal logics with converse (Q2296751) (← links)
- Two-Variable Separation Logic and Its Inner Circle (Q2957697) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← 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)
- Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020) (← links)
- (Q4364506) (← links)
- Modal logics for reasoning about infinite unions and intersections of binary relations (Q4583172) (← links)
- THE FLUTED FRAGMENT REVISITED (Q5195057) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- Using tableau to decide description logics with full role negation and identity (Q5410334) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
