The undecidability of propositional adaptive logic

DOI10.1007/S11229-006-9049-5zbMATH Open1126.03034OpenAlexW2021342756MaRDI QIDQ2460176FDOQ2460176

Leon Horsten, Philip D. Welch

Publication date: 14 November 2007

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-006-9049-5

Recommendations

• On algorithmic properties of propositional inconsistency-adaptive logics
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Computability issues for adaptive logics in multi-consequence standard format
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• Undecidable problems for propositional calculi with implication

zbMATH Keywords

UndecidabilityDynamic logicAdaptive logicParaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• The truth is never simple
• Title not available (Why is that?)
• Title not available (Why is that?)
• Trial and error predicates and the solution to a problem of Mostowski
• Title not available (Why is that?)
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Blocks. The clue to dynamic aspects of logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Logic at work. Essays dedicated to the memory of Helena Rasiowa
• Logic, epistemology, and the unity of science
• The theory of the process of explanation generalized to include the inconsistent case
• Title not available (Why is that?)

Cited In (10)

• On decidable consequence operators
• Tutorial on Inconsistency-Adaptive Logics
• Devising the set of abnormalities for a given defeasible rule
• Computability issues for adaptive logics in multi-consequence standard format
• Erratum to ``The undecidability of propositional adaptive logic
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• Yes fellows, most human reasoning is complex
• The dynamics of relevance: adaptive belief revision
• A procedural criterion for final derivability in inconsistency-adaptive logics
• New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency

This page was built for publication: The undecidability of propositional adaptive logic

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