Transfers between logics and their applications

DOI10.1023/A:1021845424153MaRDI QIDQ1868251zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Walter Carnielli

Publication date 27 April 2003

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1021845424153

zbMATH Keywords

abstract logicsbelief revisionnonclassical logicstranslation between logicswide belief revision

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Abstract model theory (03C95)

Recommendations

• scientific article; zbMATH DE number 1302507
• New dimensions on translations between logics
• Translations between logical systems: A manifesto
• Belief revision in non-classical logics
• Translations between logics: a survey

Cited in

(8)

• May I borrow your logic? (Transporting logical structures along maps)
• New dimensions on translations between logics
• Interpolation via translations
• A note on natural extensions in abstract algebraic logic
• A survey on categories of logics and algebraizable logics
• Vistas from a drop of water
• AGM 25 years. Twenty-five years of research in belief change
• Is there a logic of confirmation transfer?

This page was built for publication: Transfers between logics and their applications

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