Contracting logics

DOI10.1007/978-3-642-32621-9_20MaRDI QIDQ2915033zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Márcio Moretto Ribeiro

Publication date 21 September 2012

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32621-9_20

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Paraconsistent logics (03B53) Intermediate logics (03B55)

Recommendations

• A logic for belief contraction
• Minimal change: relevance and recovery revisited
• On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
• On the logic of theory change: Partial meet contraction and revision functions
• Contraction in propositional logic

Cited in

(8)

• How to be really contraction free
• Contraction in propositional logic
• Non-conditional contracting connectives
• Relational contracts and the first-order approach
• A logic for belief contraction
• Contractions of noncontractive consequence relations
• scientific article; zbMATH DE number 4213955 (Why is no real title available?)
• Degree-preserving Gödel logics with an involution: intermediate logics and (ideal) paraconsistency

This page was built for publication: Contracting logics

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