The logic of informational independence and finite models

DOI10.1093/JIGPAL/5.1.79MaRDI QIDQ4340930zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

• Finite information logic
• scientific article; zbMATH DE number 2051379 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 5180966 (Why is no real title available?)
• Informational independence: Models and normal forms
• scientific article; zbMATH DE number 1867304 (Why is no real title available?)
• scientific article; zbMATH DE number 3557755 (Why is no real title available?)

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)