The complexity of revision

DOI10.1305/NDJFL/1040609294MaRDI QIDQ1333309zbMATH OpenOpenAlexFDO

Authors Gian Aldo Antonelli

Publication date 1 December 1994

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1040609294

zbMATH Keywords

complexityupper boundcountable revision sequencesGupta-Belnap systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Hierarchies of computability and definability (03D55) Gödel numberings and issues of incompleteness (03F40) Complexity of computation (including implicit computational complexity) (03D15)

Recommendations

• The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
• On Gupta-Belnap revision theories of truth, Kripkean fixed points and the next stable set
• scientific article; zbMATH DE number 108002
• Complexity of model checking for cardinality-based belief revision operators

Cites work

• scientific article; zbMATH DE number 50690 (Why is no real title available?)
• scientific article; zbMATH DE number 3577197 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable

Cited in

(10)

• Revision Forever!
• Property theory and the revision theory of definitions
• scientific article; zbMATH DE number 1241663 (Why is no real title available?)
• Revision without revision sequences: self-referential truth
• The complexity of revision, revised
• Guest editors' introduction
• Conditionals in theories of truth
• The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
• Solovay-type theorems for circular definitions
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity

This page was built for publication: The complexity of revision

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