scientific article; zbMATH DE number 515730
From MaRDI portal
Publication:4283233
zbMath0808.03024MaRDI QIDQ4283233
Publication date: 10 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerfixpoint logicquantifier hierarchygame-theoretic characterizationstratified DATALOG programsstratified fixpoint logic
Logic in computer science (03B70) Logic with extra quantifiers and operators (03C80) Model theory of finite structures (03C13)
Related Items (6)
The Ehrenfeucht-Fraïssé Method and the Planted Clique Conjecture ⋮ An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers ⋮ Fixpoint logics over hierarchical structures ⋮ Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees ⋮ Fixpoints, games and the difference hierarchy ⋮ A logic-based approach to incremental reasoning on multi-agent systems
This page was built for publication:
