scientific article; zbMATH DE number 5606348

zbMATH Open1191.03023MaRDI QIDQ3397633FDOQ3397633

Authors: Itay Neeman, Yuri Gurevich 

Publication date: 22 September 2009

Title of this publication is not available (Why is that?)

Recommendations

• The logic of information structures
• scientific article; zbMATH DE number 700092
• scientific article; zbMATH DE number 1302505
• scientific article; zbMATH DE number 49692
• scientific article; zbMATH DE number 481632
• scientific article
• Logic of infons, the propositional case
• scientific article; zbMATH DE number 603763

zbMATH Keywords

infon logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Cited In (12)

• Abstract Hilbertian deductive systems, infon logic, and Datalog
• Tracking evidence
• From primal infon logic with individual variables to Datalog
• Logic of infons, the propositional case
• The Logic of Information
• DKAL and Z3: a logic embedding experiment
• Basic primal infon logic
• Strict canonical constructive systems
• Transitive primal infon logic
• Basic Constructive Connectives, Determinism and Matrix-Based Semantics
• Hilbertian deductive systems, infon logic, and Datalog
• Title not available (Why is that?)

Uses Software

• DKAL

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