A Probabilistic Temporal Epistemic Logic: Strong Completeness

Ognjanović, Zoran; Ilić Stepić, Angelina; Perović, Aleksandar

Резултати

еНаука > Резултати > A Probabilistic Temporal Epistemic Logic: Strong Completeness

Назив:	A Probabilistic Temporal Epistemic Logic: Strong Completeness
Аутори:	Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar
Година:	2024
Публикација:	Logic Journal of the IGPL / Interest Group in Pure and Applied Logics
ISSN:	1367-0751 Logic Journal of the IGPL / Interest Group in Pure and Applied Logics Претражи идентификатор
Издавач:	Oxford Academic
Тип резултата:	Научни чланак
Колација:	str. jzac072
DOI:	10.1093/jigpal/jzac072
WoS-ID:	000877666800001
Scopus-ID:	2-s2.0-85183667135
URI:	https://enauka.gov.rs/handle/123456789/579866 http://researchrepository.mi.sanu.ac.rs/handle/123456789/4860 http://researchrepository.mi.sanu.ac.rs/handle/123456789/5284
Пројекат:	Advanced artificial intelligence techniques for analysis and design of system components based on trustworthy BlockChain technology - AI4TrustBC
М-категорија:	21M21 - Рад у врхунском међ. часопису

3
WEB OF SCIENCE^TM

Алт метрика

Dimensions

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Unpaywall

Creative Commons лиценца