The undecidability of propositional adaptive logic

DOI10.1007/S11229-006-9049-5MaRDI QIDQ2460176zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

UndecidabilityDynamic logicAdaptive logicParaconsistent logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

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 ^1_1-complex
• Undecidable problems for propositional calculi with implication

Cites work

• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 1735935 (Why is no real title available?)
• scientific article; zbMATH DE number 2096990 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 2236618 (Why is no real title available?)
• A procedural criterion for final derivability in inconsistency-adaptive logics
• Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski
• Blocks. The clue to dynamic aspects of logic
• Frontiers of paraconsistent logic. Papers from the 1st world congress on paraconsistency, Ghent, Belgium, July 30--August 2, 1997
• Knowledge in flux. Modeling the dynamics of epistemic states
• 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
• The truth is never simple
• The undecidability of entailment and relevant implication
• Trial and error predicates and the solution to a problem of Mostowski

Cited in

(11)

• Computability issues for adaptive logics in multi-consequence standard format
• Tutorial on Inconsistency-Adaptive Logics
• 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
• Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex
• Erratum to ``The undecidability of propositional adaptive logic
• Yes fellows, most human reasoning is complex
• On algorithmic properties of propositional inconsistency-adaptive logics
• Devising the set of abnormalities for a given defeasible rule
• On decidable consequence operators

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)