Guarded quantification in least fixed point logic
From MaRDI portal
Publication:1424969
DOI10.1023/A:1026107209351zbMath1045.03034OpenAlexW1487926359MaRDI QIDQ1424969
Publication date: 15 March 2004
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026107209351
game-theoretic semanticsgame representations of logicsguarded quantificationleast fixed point logicpositive elementary induction
Games involving graphs (91A43) Logic in computer science (03B70) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)