Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
type: Item
instance of: scholarly article
zbMATH Open document ID: 1247.03030
author: Luca Cardelli
author: Radu Mardare
author: Kim G. Larsen
publication date: 2012-09-18T00:00:00Z
full work available at URL: frontdoor 0be1.html
Mathematics Subject Classification ID: 03B48
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 6083536
zbMATH Keywords: probabilistic logic
zbMATH Keywords: axiomatization
zbMATH Keywords: Markov processes
zbMATH Keywords: metric semantics
describes a project that uses: Ymer
MaRDI profile type: Publication
DOI: 10.4230/LIPICS.CSL.2011.144
Recommended article: Continuous Markovian Logics - Axiomatization and Quantified Metatheory
Recommended article: Strong Completeness for Markovian Logics
Recommended article: Q5144637
Recommended article: CONTINUOUS FIRST ORDER LOGIC FOR UNBOUNDED METRIC STRUCTURES
Recommended article: A completeness theorem for continuous predicate modal logic
Recommended article: Q3012529
Recommended article: A proof of completeness for continuous first-order logic
Recommended article: MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
Recommended article: Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes
Recommended article: MODAL LOGICS OF METRIC SPACES
title: Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
description: scientific article; zbMATH DE number 6083536