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

Page view(s)

19
checked on Dec 3, 2024

Google ScholarTM

Check


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