scientific article; zbMATH DE number 408795
From MaRDI portal
Publication:4202939
zbMath0783.03012MaRDI QIDQ4202939
Publication date: 6 September 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
expressive powerEhrenfeucht-Fraïssé gameordered structureslinear programsfinite structuresDatalog query language semanticspositive transitive closure logic
Database theory (68P15) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Hierarchies of computability and definability (03D55)
Related Items
On the Ehrenfeucht-Fraïssé game in theoretical computer science ⋮ Hierarchies in transitive closure logic, stratified Datalog and infinitary logic ⋮ Cyclic hypersequent system for transitive closure logic ⋮ Inference and learning in probabilistic logic programs using weighted Boolean formulas ⋮ A new probabilistic constraint logic programming language based on a generalised distribution semantics ⋮ Logics with Zero-One Laws that Are Not Fragments of Bounded-Variable Infinitary Logic ⋮ Complete Axiomatizations of MSO, FO(TC 1 ) and FO(LFP 1 ) on Finite Trees ⋮ Classifying regular languages by a split game ⋮ Arity hierarchies ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Cyclic proofs, hypersequents, and transitive closure logic
