The following pages link to Modal logic programming revisited (Q3647295):
Displaying 6 items.
- Combining and automating classical and non-classical logics in classical higher-order logics (Q656826) (← links)
- Model reconciliation in logic programs (Q2055814) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- Modulated logics and flexible reasoning (Q3620397) (← links)
- Back and forth between guarded and modal logics (Q5738962) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)