Semantics and Axiomatization for Stochastic Differential Dynamic Logic

02/18/2021
by   Michael Roberts, et al.
0

Building on previous work by André Platzer, we present a formal language for Stochastic Differential Dynamic Logic, and define its semantics, axioms and inference rules. Compared to the previous effort, our account of the Stochastic Differential Dynamic Logic follows closer to and is more compatible with the traditional account of the regular Differential Dynamic Logic. We resolve an issue with the well-definedness of the original work's semantics, while showing how to make the logic more expressive by incorporating nondeterministic choice, definite descriptions and differential terms. Definite descriptions necessitate using a three-valued truth semantics. We also give the first Uniform Substitution calculus for Stochastic Differential Dynamic Logic, making it more practical to implement in proof assistants.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/09/2021

Proof-Theory and Semantics for a Theory of Definite Descriptions

This paper presents a sequent calculus and a dual domain semantics for a...
research
08/04/2021

Definite Descriptions in Intuitionist Positive Free Logic

This paper presents rules of inference for a binary quantifier I for the...
research
03/19/2023

Graded Differential Categories and Graded Differential Linear Logic

In Linear Logic (𝖫𝖫), the exponential modality ! brings forth a distinct...
research
05/09/2022

A coherent differential PCF

The categorical models of the differential lambda-calculus are additive ...
research
06/18/2014

Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture)

The semantics of determiner phrases, be they definite de- scriptions, in...
research
06/27/2023

Gödel-Dummett linear temporal logic

We investigate a version of linear temporal logic whose propositional fr...
research
10/11/2022

Semantical Analysis of the Logic of Bunched Implications

We give a novel approach to proving soundness and completeness for a log...

Please sign up or login with your details

Forgot password? Click here to reset