Pages that link to "Item:Q1407585"
From MaRDI portal
The following pages link to Refined common knowledge logics or logics of common information (Q1407585):
Displaying 6 items.
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
