The following pages link to Stefan Wölfl (Q1303793):
Displaying 8 items.
- Combinations of tense and modality for predicate logic (Q1303794) (← links)
- Events in branching time (Q1780898) (← links)
- Propositional \(\text Q\)-logic (Q1863958) (← links)
- On qualitative route descriptions. Representation, agent models, and computational complexity (Q2341261) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- (Q2771498) (← links)
- Logics in Artificial Intelligence (Q5394114) (← links)
- KI 2005: Advances in Artificial Intelligence (Q5897741) (← links)
