Computability issues for adaptive logics in multi-consequence standard format

DOI10.1007/S11225-013-9531-2MaRDI QIDQ2016057zbMATH OpenOpenAlexFDO

Authors S. P. Odintsov, S. O. Speranskij

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

adaptive logicscomputational complexitydynamic reasoningexpressivenessminimal abnormality strategyreliability strategystandard format

Mathematics Subject Classification ID

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

Recommendations

• On algorithmic properties of propositional inconsistency-adaptive logics
• The undecidability of propositional adaptive logic
• Adaptive logics using the minimal abnormality strategy are ^1_1-complex
• A universal logic approach to adaptive logics
• Complexity of admissible rules

Cites work

• A universal logic approach to adaptive logics
• Adaptive logics using the minimal abnormality strategy are ^1_1-complex
• Computability theory
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 1354099 (Why is no real title available?)
• scientific article; zbMATH DE number 1144041 (Why is no real title available?)
• scientific article; zbMATH DE number 2096990 (Why is no real title available?)
• scientific article; zbMATH DE number 6174932 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• On algorithmic properties of propositional inconsistency-adaptive logics
• The undecidability of propositional adaptive logic
• Three formats of prioritized adaptive logics: a comparative study

Cited in

(8)

• The undecidability of propositional adaptive logic
• Three formats of prioritized adaptive logics: a comparative study
• On algorithmic properties of propositional inconsistency-adaptive logics
• scientific article; zbMATH DE number 6174932 (Why is no real title available?)
• Devising the set of abnormalities for a given defeasible rule
• Tutorial on Inconsistency-Adaptive Logics
• Some Adaptive Contributions to Logics of Formal Inconsistency
• Adaptive Fregean set theory

This page was built for publication: Computability issues for adaptive logics in multi-consequence standard format

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