Material Type  

 학위논문

 

0016932099

Date and Time of Latest Transaction  

20240214100412

ISBN  

9798379712402

DDC  

004

Author  

Roberts, Michael.

Title/Author  

Stochastic Dynamic Logics - [electronic resource]

Publish Info  

[S.l.] : Cornell University., 2023

Publish Info  

Ann Arbor : ProQuest Dissertations & Theses, 2023

Material Info  

1 online resource(122 p.)

General Note  

Source: Dissertations Abstracts International, Volume: 84-12, Section: A.

General Note  

Advisor: Kozen, Dexter.

학위논문주기  

Thesis (Ph.D.)--Cornell University, 2023.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Abstracts/Etc  

요약We present the semantics of two variants of Probabilistic Propositional Dynamic Logic (PPDL). Stochastic Differential Dynamic Logic is a logic for reasoning about hybrid systems with continuous state space that may evolve in continuous time according to stochastic differential equations, or in discrete time according to probabilistic or Angelic nondeterminism. Stochastic Game Logic can be seen as extending PPDL with Demonic nondeterminism, or Game Logic with probabilistic nondeterminism. For both logics, we develop sound reasoning principals over the presented semantics.

Subject Added Entry-Topical Term  

Computer science.

Subject Added Entry-Topical Term  

Logic.

Index Term-Uncontrolled  

Dynamic Logics

Index Term-Uncontrolled  

Probabilistic programming

Index Term-Uncontrolled  

Programming language semantics

Index Term-Uncontrolled  

Probabilistic Propositional Dynamic Logic

Index Term-Uncontrolled  

Game Logic

Added Entry-Corporate Name  

Cornell University Computer Science

Host Item Entry  

Dissertations Abstracts International. 84-12A.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

소장사항  

202402 2024

Control Number  

joongbu:640850