Choice construct and Lindström logics

MaRDI QIDQ4263792zbMATH OpenFDO

Authors H. K. Hoang

Publication date 22 September 1999

zbMATH Keywords

choice constructexpressive powerfinite structuresfixpoint logicgeneralized quantifiers

Mathematics Subject Classification ID

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

Recommendations

• An extension of fixpoint logic with a symmetry-based choice construct
• Fixed-point Logics with Nondeterministic Choice
• Fixed Point Logics

Cited in

(7)

• An extension of fixpoint logic with a symmetry-based choice construct
• On the expressiveness of choice quantification
• Determinate logic and the axiom of choice
• A Constructive Proof of Dependent Choice, Compatible with Classical Logic
• The Logic of Choice
• scientific article; zbMATH DE number 3296225 (Why is no real title available?)
• Choice inclusive general rough semantics

This page was built for publication: Choice construct and Lindström logics

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