scientific article; zbMATH DE number 515730

MaRDI QIDQ4283233zbMATH OpenFDO

Authors Uwe Bosse

Publication date 10 March 1994

zbMATH Keywords

expressive powerfixpoint logicgame-theoretic characterizationquantifier hierarchystratified DATALOG programsstratified fixpoint logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Model theory of finite structures (03C13) Logic with extra quantifiers and operators (03C80)

Recommendations

• scientific article; zbMATH DE number 873906
• Fixed Point Logics
• The expressive power of stratified logic programs
• The expressive power of fixed-point logic with counting
• Fixed-point logics and solitaire games

Cited in

(12)

• Fixed-point logics and solitaire games
• A logic-based approach to incremental reasoning on multi-agent systems
• Fixpoint logics over hierarchical structures
• 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
• An application of the Ehrenfeucht-Fraisse game in formal language theory
• Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees
• Existential least fixed-point logic and its relatives
• Fixpoints, games and the difference hierarchy
• scientific article; zbMATH DE number 873906 (Why is no real title available?)
• scientific article; zbMATH DE number 1424046 (Why is no real title available?)
• Games for topological fixpoint logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283233)