Pages that link to "Item:Q2030777"
From MaRDI portal
The following pages link to Branching time logics with multiagent temporal accessibility relations (Q2030777):
Displaying 5 items.
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)