scientific article; zbMATH DE number 786491

zbMATH Open0829.03032MaRDI QIDQ4842972FDOQ4842972

Authors: John Mitchell, P. Lincoln, Andre Scedrov 

Publication date: 21 January 1996

Title of this publication is not available (Why is that?)

Recommendations

• A logic for specifying stochastic actions and observations
• An approach to stochastic processes via non-classical logic
• Probabilistic stit logic
• Stochastic coalgebraic logic
• A stochastic interpretation of propositional dynamic logic: expressivity
• A stochastic interpretation of propositional dynamic logic: expressivity
• Probabilistic stit logic and its decomposition
• A logic for reasoning about stochastic information
• A stochastic interpretation of game logic
• Interaction nets for linear logic

zbMATH Keywords

stochastic gamedialogueproof searchprovercut-free Gentzen-type systemverifiermultiplicative additive linear logicinteractive proof semantics

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (2)

• A Logical Calculus for Modelling Interferences
• Proof-search in type-theoretic languages: An introduction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4842972)