The logic of informational independence and finite models

DOI10.1093/jigpal/5.1.79zbMath0882.03023OpenAlexW2055269743MaRDI QIDQ4340930

Gabriel Sandu

Publication date: 12 March 1998

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

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

zbMATH Keywords

finite modelsNP-complete problemsexpressive powerHenkin 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) Logic in artificial intelligence (68T27) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13) Other applications of logic (03B80)