The following pages link to Logic and time (Q3856738):
Displayed 19 items.
- Transition semantics for branching time (Q302231) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- A future for the thin red line (Q393615) (← links)
- On possible worlds with modal parts. A semantics for modal interaction (Q484200) (← links)
- Where have all the Californian tense-logicians gone? (Q516426) (← links)
- Rewrite rules for \(\mathrm{CTL}^\ast\) (Q518745) (← links)
- Completeness of a branching-time logic with possible choices (Q622622) (← links)
- A finite axiomatization of the set of strongly valid Ockhamist formulas (Q1066884) (← links)
- A decidable temporal logic of parallelism (Q1130239) (← links)
- A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831) (← links)
- On the mosaic method for many-dimensional modal logics: a case study combining tense and modal operators (Q1945704) (← links)
- The thin red line, Molinism, and the flow of time (Q2209167) (← links)
- First-order definability of transition structures (Q2322984) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Quantification over sets of possible worlds in branching-time semantics (Q2500778) (← links)
- An axiomatization of PCTL* (Q2566222) (← links)
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic (Q3003427) (← links)
- Representation of temporal information (Q3657978) (← links)
- Системы временной логики I: моменты, истории, деревья (Q5059703) (← links)