The following pages link to (Q4966494):
Displaying 6 items.
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- On the linear logic of knowledge and time with intransitive time relation (Q498248) (← links)
- A functional approach for temporal \(\times\) modal logics (Q1403342) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)
- (Q5711863) (← links)
- Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK (Q5852970) (← links)
