On the Logic of Information Flow

DOI10.1093/JIGPAL/3.1.7MaRDI QIDQ4834292zbMATH OpenOpenAlexFDO

Authors Jon Barwise, Chrysafis Hartonas, Dov Gabbay

Publication date 20 February 1996

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

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

zbMATH Keywords

information flowinformation networkslabelled deductive systemssemanticssequent calculisituation theorysubstructural logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 733404
• scientific article; zbMATH DE number 972605
• scientific article; zbMATH DE number 873168
• Logic of information flow on communication channels
• scientific article; zbMATH DE number 700092
• The logic of information structures
• Information Flow
• Information Flow
• scientific article; zbMATH DE number 1302505

Cited in

(18)

• Using tableaux to automate the Lambek and other categorial calculi
• Causal dynamic inference
• Information flow in logic for distributed systems: extending graded consequence
• Sets of signals, information flow, and folktales
• Information flow and impossible situations
• Information Flow
• scientific article; zbMATH DE number 1543068 (Why is no real title available?)
• Grammar specification in categorial logics and theorem proving
• Information flow in logics in the vicinity of \textbf{BB}
• scientific article; zbMATH DE number 6302912 (Why is no real title available?)
• Static Analysis
• Morphology of ``Information Flow
• scientific article; zbMATH DE number 972578 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• Disjunctive Information Flow for Communicating Processes
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Choice-free topological duality for implicative lattices and Heyting algebras
• Ockham's razor and reasoning about information flow

This page was built for publication: On the Logic of Information Flow

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