DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ognjanović, Zoran | en |
dc.date.accessioned | 2020-02-18T20:06:31Z | - |
dc.date.available | 2020-02-18T20:06:31Z | - |
dc.date.issued | 2006-01-01 | en |
dc.identifier.issn | 0955-792X | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/72 | - |
dc.description.abstract | We introduce a propositional and a first-order logic for reasoning about discrete linear time and finitely additive probability. The languages of these logics allow formulae that say 'sometime in the future, α holds with probability at least s'. We restrict our study to so-called measurable models. We provide sound and complete infinitary axiomatizations for the logics. Furthermore, in the propositional case decidability is proved by establishing a periodicity argument for ω-sequences extending the decidability proof of standard propositional temporal logic LTL. Complexity issues are examined and a worst-case complexity upper bound is given. Extensions of the presented results and open problems are described in the final part of the paper. | en |
dc.publisher | Oxford University Press | - |
dc.relation.ispartof | Journal of Logic and Computation | en |
dc.subject | Axiomatization | Decidability | Probabilistic logic | Temporal logic | en |
dc.title | Discrete linear-time probabilistic logics: Completeness, decidability and complexity | en |
dc.type | Article | en |
dc.identifier.doi | 10.1093/logcom/exi077 | en |
dc.identifier.scopus | 2-s2.0-33645735519 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 257 | - |
dc.relation.lastpage | 285 | - |
dc.relation.issue | 2 | - |
dc.relation.volume | 16 | - |
dc.description.rank | M22 | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.orcid | 0000-0003-2508-6480 | - |
SCOPUSTM
Citations
37
checked on Jun 1, 2024
Page view(s)
66
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.