scientific article; zbMATH DE number 5790393
From MaRDI portal
Publication:4929426
Recommendations
- A note about the axioms for branching-time logic
- A complete axiomatic characterization of first-order temporal logic of linear time
- Arithmetical axiomatization of first-order temporal logic
- Axiomatising first-order temporal logic: Until and since over linear time
- A tableau calculus for first-order branching time logic
- Axiomatization of a branching time logic with indistinguishability relations
- First-order logics of braching time: on expressive power of temporal operators
- The temporal logic of branching time
- scientific article; zbMATH DE number 1059322
- The axiomatization of propositional linear time temporal logic
Cited in
(23)- A note about the axioms for branching-time logic
- Complete axiomatizations for reasoning about knowledge and branching time
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Axiomatization of `Peircean' branching-time logic
- A complete deductive-system for since-until branching-time logic
- A propositional linear time logic with time flow isomorphic to ^2
- Investigation on fragments of first order branching temporal logic
- First-order logics of braching time: on expressive power of temporal operators
- Axiomatization of a branching time logic with indistinguishability relations
- Completeness theorem for a first order linear-time logic
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
- Probabilistic Common Knowledge Among Infinite Number of Agents
- scientific article; zbMATH DE number 1786650 (Why is no real title available?)
- scientific article; zbMATH DE number 4119600 (Why is no real title available?)
- Branching-time logic with quantification over branches: The point of view of modal logic
- Logics with Probability Operators
- Probabilistic Temporal Logics
- Reasoning About Degrees of Confirmation
- On the axiomatizability of some first-order spatio-temporal theories
- scientific article; zbMATH DE number 4197950 (Why is no real title available?)
- scientific article; zbMATH DE number 4197951 (Why is no real title available?)
- Probability logics for reasoning about quantum observations
- The modal logic of potential infinity: branching versus convergent possibilities
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4929426)
