scientific article; zbMATH DE number 873168

MaRDI QIDQ4876413zbMATH OpenFDO

Authors

Publication date 2 May 1996

zbMATH Keywords

dynamic logicInformation flowLogic

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in computer science (03B70) Other applications of logic (03B80) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Natural language processing (68T50)

Recommendations

• scientific article; zbMATH DE number 733404
• scientific article; zbMATH DE number 1537935
• Dynamics we can believe in: a view from the Amsterdam school on the centenary of Evert Willem Beth

Cited in

(28)

• Reasoning about update logic
• The finitely axiomatizable complete theories of non-associative arrow frames
• Infinitary action logic with multiplexing
• Logics of rational interaction
• A logic for belief contraction
• Developments in concurrent Kleene algebra
• scientific article; zbMATH DE number 986406 (Why is no real title available?)
• Tracking information
• Solving Linear Equations in *-continuous Action Lattices
• scientific article; zbMATH DE number 5542889 (Why is no real title available?)
• scientific article; zbMATH DE number 49692 (Why is no real title available?)
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 1086639 (Why is no real title available?)
• Ajdukiewicz functions and basic inference
• On the Logic of Information Flow
• Information flow in logics in the vicinity of \textbf{BB}
• Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
• Static Analysis
• On the ambiguation of Polish notation
• scientific article; zbMATH DE number 972578 (Why is no real title available?)
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• Nonmonotonic reasoning by inhibition nets
• Inputs, Outputs, and Composition in the Logic of Information Flows
• The equational theory of Kleene lattices
• On concurrent program algebra and demonic automata
• Algorithmic complexity of theories with Kleene iteration
• A positive information logic for inferential information
• A sketch of a dynamic epistemic semiring

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 Q4876413)