Pages that link to "Item:Q498234"
From MaRDI portal
The following pages link to Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234):
Displaying 3 items.