Pages that link to "Item:Q2563451"

The following pages link to Axiomatising first-order temporal logic: Until and since over linear time (Q2563451):

Displaying 14 items.

• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• Peano arithmetic as axiomatization of the time frame in logics of programs and in dynamic logics (Q687278) (← links)
• Nesting until and since in linear temporal logic (Q705066) (← links)
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
• Incompleteness of first-order temporal logic with until (Q1123184) (← links)
• Decidable fragments of first-order temporal logics (Q1591203) (← links)
• A decision procedure and complete axiomatization for projection temporal logic (Q1986563) (← links)
• A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
• The temporal logic of linear time frames with inductions axiom (Q2454548) (← links)
• (Q2757840) (← links)
• On the Priorean temporal logic with \([d]\) over the real line (Q2826035) (← links)
• First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
• (Q4736862) (← links)
• (Q4929426) (← links)