Pages that link to "Item:Q1130239"

The following pages link to A decidable temporal logic of parallelism (Q1130239):

Displaying 18 items.

• The decision problem of modal product logics with a diagonal, and faulty counter machines (Q295920) (← links)
• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• A decidable temporal logic of parallelism (Q1130239) (← links)
• The complexity of the temporal logic with ``until'' over general linear time (Q1400578) (← links)
• On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• A Temporal Logic for Multi-threaded Programs (Q2915173) (← links)
• Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting (Q2957765) (← links)
• A Paraconsistent Linear-time Temporal Logic (Q3084992) (← links)
• About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability (Q3298275) (← links)
• (Q3384170) (← links)
• THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE (Q4692071) (← links)
• (Q4945790) (← links)
• Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)
• Completeness of a functional system for surjective functions (Q5108132) (← links)
• Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
• Products of ‘transitive” modal logics (Q5718700) (← links)
• Modal logics of succession for 2-dimensional integral spacetime (Q5935784) (← links)