Pages that link to "Item:Q890830"
From MaRDI portal
The following pages link to The temporal logic of inductive frames with linear time (Q890830):
Displaying 5 items.
- Temporal logic of linearly ordered \(\alpha\)-spaces (Q431661) (← links)
- The temporal logic of linear time frames with inductions axiom (Q2454548) (← links)
- Polymodal logic of the class of inductive linear time frames (Q2630564) (← links)
- A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models (Q3409453) (← links)
- On Linear Logic of Knowledge and Time (Q5214743) (← links)