scientific article; zbMATH DE number 5827849

MaRDI QIDQ3063987zbMATH OpenFDO

Authors L. A. Sholomov

Publication date 18 December 2010

zbMATH Keywords

first-order languagealgorithmic problems connected with the construction of the modelscomplexity of formalizationsformalizations of choice rulesordered choice models

Mathematics Subject Classification ID

Fundamental topics (basic mathematics, methodology; applicable to economics in general) (91B02)

Recommendations

• Logical methods of representation and studies of order models of choice
• scientific article; zbMATH DE number 7300319
• scientific article; zbMATH DE number 41738
• Choice logics and their computational properties
• On First-Order Model-Based Reasoning
• Modeling ordered choices. A primer
• A logical characterization of the preferred models of logic programs with ordered disjunction
• Decidability of order-based modal logics
• A decidable first-order logic for knowledge representation
• A decidable first-order logic for knowledge representation

Cited in

(1)

• scientific article; zbMATH DE number 7300319 (Why is no real title available?)

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 Q3063987)