Pages that link to "Item:Q2454548"

The following pages link to The temporal logic of linear time frames with inductions axiom (Q2454548):

Displaying 9 items.

• Temporal logic of linearly ordered \(\alpha\)-spaces (Q431661) (← links)
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• The temporal logic of inductive frames with linear time (Q890830) (← links)
• Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
• A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
• Polymodal logic of the class of inductive linear time frames (Q2630564) (← links)
• On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
• On Linear Logic of Knowledge and Time (Q5214743) (← links)
• Cyclic Proofs for Linear Temporal Logic (Q5221853) (← links)