Pages that link to "Item:Q1058846"

The following pages link to A multiprocess network logic with temporal and spatial modalities (Q1058846):

Displaying 15 items.

• On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
• Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
• Reasoning about networks with many identical finite state processes (Q921983) (← links)
• Synthesis of communicating process skeletons from temporal-spatial logic specifications (Q1116944) (← links)
• The complexity of reasoning about knowledge and time. I: Lower bounds (Q1119565) (← links)
• A decidable temporal logic of parallelism (Q1130239) (← links)
• Formal timing analysis of distributed systems (Q1193762) (← links)
• Time-extraction for temporal logic -- logic programming and local process time (Q1333399) (← links)
• Non-primitive recursive decidability of products of modal logics with expanding domains (Q2503403) (← links)
• Non-finitely axiomatisable two-dimensional modal logics (Q2915901) (← links)
• Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
• Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
• (Q4553288) (← links)
• Products of ‘transitive” modal logics (Q5718700) (← links)
• A Spatial Logic for Simplicial Models (Q6135777) (← links)