Refined hierarchy of formulas

DOI10.1007/BF01980251zbMATH Open0778.03012OpenAlexW2008977977MaRDI QIDQ1803026FDOQ1803026

Authors: Victor Selivanov 

Publication date: 29 June 1993

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01980251

Recommendations

• scientific article; zbMATH DE number 956483
• Arity and alternation: a proper hierarchy in higher order logics
• A hierarchy of propositional Horn formuls
• Foundations of Information and Knowledge Systems
• An arithmetical hierarchy in propositional dynamic logic

zbMATH Keywords

modelsindex setshierarchy of setsquantifier alternationshierarchy of formulashierarchy of predicate logic

Mathematics Subject Classification ID

Hierarchies of computability and definability (03D55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Fine hierarchies and m-reducibilities in theoretical computer science
• Fine hierarchy of regular \(\omega\)-languages

This page was built for publication: Refined hierarchy of formulas

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