The following pages link to (Q4218015):
Displaying 4 items.
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← 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)
