On the Logic of Information Flow

DOI10.1093/jigpal/3.1.7zbMath0831.03012OpenAlexW1985931606MaRDI QIDQ4834292

Chrysafis Hartonas, Jon Barwise, Dov M. Gabbay

Publication date: 20 February 1996

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9dc1cd02119479acc05d9e6060bbe16b260c260c

zbMATH Keywords

semanticssubstructural logicssequent calculiinformation flowinformation networkslabelled deductive systemssituation theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80)

Related Items

Causal dynamic inference, Choice-free topological duality for implicative lattices and Heyting algebras, Grammar specification in categorial logics and theorem proving, Using tableaux to automate the Lambek and other categorial calculi