The following pages link to (Q4929426):
Displaying 18 items.
- Axiomatization of a branching time logic with indistinguishability relations (Q288245) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- A note about the axioms for branching-time logic (Q1203784) (← links)
- Complete axiomatizations for reasoning about knowledge and branching time (Q1420806) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Investigation on fragments of first order branching temporal logic (Q2776809) (← links)
- First-order logics of braching time: on expressive power of temporal operators (Q2856051) (← links)
- Completeness theorem for a first order linear-time logic (Q2913981) (← links)
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability (Q3442402) (← links)
- Probabilistic Common Knowledge Among Infinite Number of Agents (Q3451209) (← links)
- (Q4733384) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Probabilistic Temporal Logics (Q5024714) (← links)
- Reasoning About Degrees of Confirmation (Q5098743) (← links)
- (Q5202985) (← links)
- (Q5202986) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)