Probabilistic logic and the metric space of logical formulas

Radu Iulian Mardare

Probabilistic logic and the metric space of logical formulas

Radu Iulian Mardare

Institut for Datalogi

Publikation: Bidrag til tidsskrift › Konferenceabstrakt i tidsskrift › Forskning › peer review

Abstract

The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.

Originalsprog	Engelsk
Tidsskrift	Bulletin of Symbolic Logic
Vol/bind	18
Udgave nummer	3
Sider (fra-til)	455
ISSN	1079-8986
Status	Udgivet - sep. 2012
Begivenhed	Logic Colloquium 2011 - Barcelona, Spanien Varighed: 11 jul. 2011 → 16 jul. 2011

Konference

Konference	Logic Colloquium 2011
Land/Område	Spanien
By	Barcelona
Periode	11/07/2011 → 16/07/2011

Adgang til dokumentet

http://www.jstor.org/discover/10.2307/41575883?uid=3737880&uid=2129&uid=2134&uid=2&uid=70&uid=4&sid=21101566251681

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Mardare, R. (Projektdeltager)
01/10/2010 → 30/09/2012
Projekter: Projekt › Forskning

Citationsformater

@article{978b3a5c73b1466382f86a0516d00dd1,

title = "Probabilistic logic and the metric space of logical formulas",

abstract = "The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.",

author = "Mardare, {Radu Iulian}",

year = "2012",

month = sep,

language = "English",

volume = "18",

pages = "455",

journal = "Bulletin of Symbolic Logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "3",

note = "Logic Colloquium 2011, LC'11 ; Conference date: 11-07-2011 Through 16-07-2011",

}

TY - ABST

T1 - Probabilistic logic and the metric space of logical formulas

AU - Mardare, Radu Iulian

PY - 2012/9

Y1 - 2012/9

N2 - The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.

AB - The Bulletin of Symbolic Logic, the meeting report of Logic Colloquium 2011.

M3 - Conference abstract in journal

SN - 1079-8986

VL - 18

SP - 455

JO - Bulletin of Symbolic Logic

JF - Bulletin of Symbolic Logic

IS - 3

T2 - Logic Colloquium 2011

Y2 - 11 July 2011 through 16 July 2011

ER -

Probabilistic logic and the metric space of logical formulas

Abstract

Konference

Adgang til dokumentet

AUB Link

Fingeraftryk

Projekter

Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Citationsformater