scientific article; zbMATH DE number 786491

MaRDI QIDQ4842972zbMATH OpenFDO

Authors John Mitchell, P. Lincoln, Andre Scedrov

Publication date 21 January 1996

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)

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

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)