Pages that link to "Item:Q5172145"
From MaRDI portal
The following pages link to Projective formulas and unification in linear temporal logic LTLU (Q5172145):
Displaying 4 items.
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
