The following pages link to Temporal logic and state systems (Q2517767):
Displaying 33 items.
- Propositional linear temporal logic with initial validity semantics (Q271908) (← links)
- Maintaining awareness using policies; Enabling agents to identify relevance of information (Q414897) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- A decidable and expressive fragment of Many-Sorted first-order linear temporal logic (Q821564) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Automata for branching and layered temporal structures. An investigation into regularities of infinite transition systems (Q846294) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- Automated verification of state sequence invariants in general game playing (Q1761287) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings (Q1801315) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Specification and Development of Interactive Systems (Q2725941) (← links)
- Temporal logic. Vol. 2. Mathematical foundations and computational aspects (Q2753192) (← links)
- Temporal logics in computer science. Finite-state systems (Q2805273) (← links)
- The derivations of temporal logic formulas (Q2852159) (← links)
- The properties of sets of temporal logic subformulas (Q2852160) (← links)
- Weak completeness theorem for propositional linear time temporal logic (Q2852161) (← links)
- The axiomatization of propositional linear time temporal logic (Q2865739) (← links)
- Branching Time? Pruning Time! (Q2908510) (← links)
- Phase semantics for linear-time formalism (Q3081245) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Syntactic Proofs for Yablo’s Paradoxes in Temporal Logic (Q3387900) (← links)
- Timed Temporal Logics for Abstracting Transient States (Q3522919) (← links)
- (Q3812208) (← links)
- (Q4733376) (← links)
- (Q4941936) (← links)
- (Q5748896) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)
- ESTL: A Temporal Logic for Events and States (Q6487400) (← links)
- A complete fragment of LTL(EB) (Q6630198) (← links)
