The following pages link to (Q4536333):
Displaying 4 items.
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Interpreted systems and Kripke models for multiagent systems from a categorical perspective (Q1882902) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
