scientific article; zbMATH DE number 727674

MaRDI QIDQ4324477zbMATH OpenFDO

Authors Jair Minoro Abe

Publication date 1 March 1995

zbMATH Keywords

annotated logicmodal logicsnon-alethic logicparacompletenessparaconsistency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• The Paraconsistent Logics PJ
• On an intuitionistic modal logic
• A survey of annotated logics
• scientific article; zbMATH DE number 1389650
• On modal logics of model-theoretic relations
• On Theorem Proving in Annotated Logics
• Modal logic. An introduction to its syntax and semantics
• Labelled propositional modal logics: theory and practice
• scientific article; zbMATH DE number 1523046

Cited in

(8)

• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• Modal formulas true at some point in every model
• Canonical formulas for a paraconsistent analog of the Scott logic
• scientific article; zbMATH DE number 2019866 (Why is no real title available?)
• A survey of annotated logics
• Jair Minoro Abe on paraconsistent engineering
• The Paraconsistent Logics PJ
• Annotated logics and application -- an overview

This page was built for publication:

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