| Authors: | Rašković, Miodrag Tanović, Predrag |
Affiliations: | Mathematical Institute of the Serbian Academy of Sciences and Arts | Title: | Completeness theorem for a monadic logic with both first-order and probability quantifiers | Journal: | Publications de l'Institut Mathématique | Volume: | 47 | Issue: | 61 | First page: | 1 | Last page: | 14 | Issue Date: | 1990 | Rank: | M24 | ISSN: | 0350-1302 | URL: | http://elib.mi.sanu.ac.rs/files/journals/publ/67/n061p001.pdf | Abstract: | We prove a completeness theorem for a logic with both probability and first-order quantifiers in the case when the basic language contains only unary relation symbols. |
Publisher: | Mathematical Institute of the SASA |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.