Guarded quantification in least fixed point logic

DOI10.1023/A:1026107209351zbMath1045.03034OpenAlexW1487926359MaRDI QIDQ1424969

Gregory Loren McColm

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

zbMATH Keywords

game-theoretic semanticsgame representations of logicsguarded quantificationleast fixed point logicpositive elementary induction

Mathematics Subject Classification ID

Games involving graphs (91A43) Logic in computer science (03B70) Model theory of finite structures (03C13) Descriptive complexity and finite models (68Q19)

This page was built for publication: Guarded quantification in least fixed point logic