The following pages link to (Q4484479):
Displaying 5 items.
- Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
- Modal logics and mu-calculi: An introduction (Q2760241) (← links)
- Stable Models for Temporal Theories (Q3449185) (← links)
- Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity (Q4323829) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705921) (← links)