The logic of informational independence and finite models
From MaRDI portal
Publication:4340930
DOI10.1093/jigpal/5.1.79zbMath0882.03023OpenAlexW2055269743MaRDI QIDQ4340930
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
finite modelsNP-complete problemsexpressive powerHenkin quantifiersextension of first-order logicpartially-ordered quantifierslogic of informational independencerestricted interpolation theorem
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)