scientific article; zbMATH DE number 873168
From MaRDI portal
Publication:4876413
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)
Recommendations
Cited in
(23)- scientific article; zbMATH DE number 49692 (Why is no real title available?)
- Nonmonotonic reasoning by inhibition nets
- 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
- scientific article; zbMATH DE number 733404 (Why is no real title available?)
- Reasoning about update logic
- Developments in concurrent Kleene algebra
- Information flow in logics in the vicinity of \textbf{BB}
- Solving Linear Equations in *-continuous Action Lattices
- scientific article; zbMATH DE number 972605 (Why is no real title available?)
- 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
- The equational theory of Kleene lattices
- Ajdukiewicz functions and basic inference
- Static Analysis
- Infinitary action logic with multiplexing
- scientific article; zbMATH DE number 5542889 (Why is no real title available?)
- Tracking information
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)
