scientific article; zbMATH DE number 5790393

zbMath1216.03033MaRDI QIDQ4929426

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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicstrong completenessbranching-time logic

Mathematics Subject Classification ID

Temporal logic (03B44)

Related Items (7)

Probabilistic Common Knowledge Among Infinite Number of Agents ⋮ A propositional probabilistic logic with discrete linear time for reasoning about evidence ⋮ Reasoning About Degrees of Confirmation ⋮ Probability logics for reasoning about quantum observations ⋮ A propositional linear time logic with time flow isomorphic to \(\omega^2\) ⋮ Logics with Probability Operators ⋮ Probabilistic Temporal Logics

This page was built for publication: