A First-order Logic for Reasoning about Knowledge and Probability

Research output: Contribution to journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	16:1-16:30
Number of pages	30
Journal	ACM Transactions on Computational Logic
Volume	21
Issue number	2
Publication status	Published - 2020

Access to Document

@article{4a07e56013594aedaf83b21a7bcf8d0b,

title = "A First-order Logic for Reasoning about Knowledge and Probability",

author = "Sinisa Tomovic and Zoran Ognjanovic and Dragan Doder",

year = "2020",

language = "English",

volume = "21",

pages = "16:1--16:30",

journal = "ACM Transactions on Computational Logic",

issn = "1529-3785",

publisher = "Association for Computing Machinery",

number = "2",

}