First-order belief and paraconsistency

MaRDI QIDQ3400301zbMATH OpenFDO

Authors Srećko Kovač

Publication date 5 February 2010

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)

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

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)