Results
eNauka >
Results >
Completeness theorem for a monadic logic with both first-order and probability quantifiers
| Title: | Completeness theorem for a monadic logic with both first-order and probability quantifiers | Authors: | Rašković, Miodrag; Tanović, Predrag |
Issue Date: | 1990 | Publication: | Publications de l Institut Mathematique, Beograd | ISSN: | 0350-1302 Publications de l#Institut Mathematique, Beograd Search Idenfier |
Publisher: | Mathematical Institute of the SASA | Type: | Article | Collation: | vol. 47 br. 61 str. 1-14 | URI: | https://enauka.gov.rs/handle/123456789/577400 http://researchrepository.mi.sanu.ac.rs/handle/123456789/3849 |
URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/67/n061p001.pdf | M-category: | Mp. category will be shown later |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.