scientific article; zbMATH DE number 5790393
From MaRDI portal
Publication:4929426
zbMATH Open1216.03033MaRDI QIDQ4929426FDOQ4929426
Zoran Markoviฤ, Dragan Doder, Zoran Ognjanoviฤ
Publication date: 22 September 2010
Full work available at URL: http://www.jucs.org/jucs_16_11/an_axiomatization_of_a
Title of this publication is not available (Why is that?)
Cited In (12)
- Probability logics for reasoning about quantum observations
- From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability
- A propositional linear time logic with time flow isomorphic to \(\omega^2\)
- Logics with Probability Operators
- A propositional probabilistic logic with discrete linear time for reasoning about evidence
- Reasoning About Degrees of Confirmation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Probabilistic Common Knowledge Among Infinite Number of Agents
- On the axiomatizability of some first-order spatio-temporal theories
- Probabilistic Temporal Logics
Recommendations
- Title not available (Why is that?) ๐ ๐
- The axiomatization of propositional linear time temporal logic ๐ ๐
- Axiomatization of a branching time logic with indistinguishability relations ๐ ๐
- The temporal logic of branching time ๐ ๐
- 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 note about the axioms for branching-time logic ๐ ๐
- First-order logics of braching time: on expressive power of temporal operators ๐ ๐
- A tableau calculus for first-order branching time logic ๐ ๐
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)
