First-order belief and paraconsistency

zbMATH Open1190.03029MaRDI QIDQ3400301FDOQ3400301

Authors: Srećko Kovač 

Publication date: 5 February 2010

Recommendations

• Some peculiarities of first-order logics of belief and knowledge
• Belief change and inconsistency
• scientific article; zbMATH DE number 757640
• Modal (logic) paraconsistency
• AGM-like paraconsistent belief change

zbMATH Keywords

paraconsistent logictableau systemappearancefirst-order logic of belief with identity

Mathematics Subject Classification ID

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

Cited In (2)

• Some peculiarities of first-order logics of belief and knowledge
• A hierarchy of classical and paraconsistent logics

This page was built for publication: First-order belief and paraconsistency

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