Pages that link to "Item:Q498248"
From MaRDI portal
The following pages link to On the linear logic of knowledge and time with intransitive time relation (Q498248):
Displaying 4 items.
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- Non-transitive linear temporal logic and logical knowledge operations (Q2826032) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)