Pages that link to "Item:Q2213922"
From MaRDI portal
The following pages link to Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922):
Displaying 7 items.
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- Branching time logics with multiagent temporal accessibility relations (Q2030777) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- (Q4966050) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)