scientific article; zbMATH DE number 873168
From MaRDI portal
Publication:4876413
zbMATH Open0876.03014MaRDI QIDQ4876413FDOQ4876413
Authors:
Publication date: 2 May 1996
Title of this publication is not available (Why is that?)
Recommendations
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Natural language processing (68T50) Other applications of logic (03B80)
Cited In (23)
- A positive information logic for inferential information
- The finitely axiomatizable complete theories of non-associative arrow frames
- A sketch of a dynamic epistemic semiring
- On the ambiguation of Polish notation
- Title not available (Why is that?)
- Reasoning about update logic
- Developments in concurrent Kleene algebra
- Information flow in logics in the vicinity of \textbf{BB}
- Title not available (Why is that?)
- Solving Linear Equations in *-continuous Action Lattices
- Inputs, Outputs, and Composition in the Logic of Information Flows
- On the Logic of Information Flow
- Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras
- Logics of rational interaction
- A logic for belief contraction
- Ajdukiewicz functions and basic inference
- The equational theory of Kleene lattices
- Static Analysis
- Infinitary action logic with multiplexing
- Title not available (Why is that?)
- Tracking information
- Title not available (Why is that?)
- Nonmonotonic reasoning by inhibition nets
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)
