The logic of informational independence and finite models

DOI10.1093/JIGPAL/5.1.79zbMATH Open0882.03023OpenAlexW2055269743MaRDI QIDQ4340930FDOQ4340930

Authors: Gabriel Sandu 

Publication date: 12 March 1998

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

Full work available at URL: https://doi.org/10.1093/jigpal/5.1.79

Recommendations

• On the logic of informational independence and its applications
• Finite information logic
• scientific article; zbMATH DE number 1078592
• scientific article; zbMATH DE number 1670481

zbMATH Keywords

NP-complete problemsexpressive powerfinite modelsHenkin quantifiersextension of first-order logicpartially-ordered quantifierslogic of informational independencerestricted interpolation theorem

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80) Logic in artificial intelligence (68T27) Other applications of logic (03B80)

Cited In (8)

• On the semantics of informational independence
• Methodological Practice and Complementary Concepts of Logical Consequence: Tarski's Model-Theoretic Consequence and Corcoran's Information-Theoretic Consequence
• Title not available (Why is that?)
• Informational independence: Models and normal forms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Finite information logic
• Title not available (Why is that?)

This page was built for publication: The logic of informational independence and finite models

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