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

Find the DOI


Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.