Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers
Miodrag Rašković; Predrag Tanović
Publications de l'Institut Mathématique (1990)
- Volume: 47(61), Issue: 67, page 1-4
- ISSN: 0350-1302
Access Full Article
top
How to cite
topMiodrag Rašković, and Predrag Tanović. "Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers." Publications de l'Institut Mathématique 47(61).67 (1990): 1-4. <http://eudml.org/doc/257868>.
@article{MiodragRašković1990,
author = {Miodrag Rašković, Predrag Tanović},
journal = {Publications de l'Institut Mathématique},
keywords = {logic with probability and first-order quantifiers; completeness theorem},
language = {eng},
number = {67},
pages = {1-4},
publisher = {Matematički institut SANU},
title = {Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers},
url = {http://eudml.org/doc/257868},
volume = {47(61)},
year = {1990},
}
TY - JOUR
AU - Miodrag Rašković
AU - Predrag Tanović
TI - Completeness Theorem for a Monadic Logic with Both First-order and Probability Quantifiers
JO - Publications de l'Institut Mathématique
PY - 1990
PB - Matematički institut SANU
VL - 47(61)
IS - 67
SP - 1
EP - 4
LA - eng
KW - logic with probability and first-order quantifiers; completeness theorem
UR - http://eudml.org/doc/257868
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.