Pages that link to "Item:Q1694714"
From MaRDI portal
The following pages link to Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714):
Displaying 10 items.
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Branching time logics with multiagent temporal accessibility relations (Q2030777) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← 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)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Multi-agent temporal logics, information, unification, and projectivity (Q6539755) (← links)
- Linear step-like logic of knowledge \(\mathcal{LTK}.{sl} \) (Q6587464) (← links)