Computability issues for adaptive logics in multi-consequence standard format

DOI10.1007/s11225-013-9531-2zbMath1329.03065OpenAlexW2094254469MaRDI QIDQ2016057

Sergei P. Odintsov, Stanislav O. Speranski

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-013-9531-2

zbMATH Keywords

computational complexityexpressivenessadaptive logicsdynamic reasoningminimal abnormality strategyreliability strategystandard format

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Other nonclassical logic (03B60)

Related Items

Adaptive Fregean set theory ⋮ Devising the set of abnormalities for a given defeasible rule ⋮ Tutorial on Inconsistency-Adaptive Logics ⋮ Some Adaptive Contributions to Logics of Formal Inconsistency

Cites Work

• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• A universal logic approach to adaptive logics
• The undecidability of propositional adaptive logic
• Three formats of prioritized adaptive logics: a comparative study
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item