On algorithmic properties of propositional inconsistency-adaptive logics

MaRDI QIDQ4925863zbMATH OpenFDO

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

Publication date 12 June 2013

zbMATH Keywords

computational complexitydynamic reasoningexpressivenessinconsistency-adaptive logicsminimal abnormality strategynonmonotonic logicreliability strategy

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Other nonclassical logic (03B60)

Recommendations

• The undecidability of propositional adaptive logic
• scientific article; zbMATH DE number 1303449
• Computability issues for adaptive logics in multi-consequence standard format
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Two new strategies for inconsistency-adaptive logics

Cited in

(12)

• A procedural criterion for final derivability in inconsistency-adaptive logics
• Computability issues for adaptive logics in multi-consequence standard format
• The undecidability of propositional adaptive logic
• scientific article; zbMATH DE number 1612547 (Why is no real title available?)
• Two new strategies for inconsistency-adaptive logics
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 2019872 (Why is no real title available?)
• Devising the set of abnormalities for a given defeasible rule
• A proof procedure for adaptive logics
• Tutorial on Inconsistency-Adaptive Logics
• Some Adaptive Contributions to Logics of Formal Inconsistency
• Adaptive Fregean set theory

This page was built for publication: On algorithmic properties of propositional inconsistency-adaptive logics

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