Many-valued and annotated modal logics

@article{Akama1998ManyvaluedAA,
  title={Many-valued and annotated modal logics},
  author={Seiki Akama and Jair Minoro Abe},
  journal={Proceedings. 1998 28th IEEE International Symposium on Multiple- Valued Logic (Cat. No.98CB36138)},
  year={1998},
  pages={114-119}
}
Many-valued modal logics are of interest from theoretical and practical point of view. Unfortunately, there are no unified theoretical frameworks for many-valued modal logics. We sketch their foundations based on the so-called annotated logics. We give a Kripke semantics for annotated modal logics and prove the completeness theorem. We also discuss possible applications of annotated modal logics to AI. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Expert System based on Support Certainty Degree Annotated Paraconsistent Logic

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Formalizing implicatures in annotated logic

  • S. Akama
  • Proc. of the 5th International Workshop on Natural Language Understanding and Logic Programming,
  • 1995
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Paraconsistent Logic Programming

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Incorporating time in paraconsistent reasoning, in preparation

  • J. M. Abe, S. Akama
  • 1997

On annotated modal logic, Mathematica Japonica

  • J. M. Abe
  • 1994
VIEW 2 EXCERPTS

On the Foundations of Annotated Logics, (Portuguese)

  • J. M. Abe
  • Ph.D. Thesis,
  • 1992

Reasoning in Paraconsistent Logics

The Paraconsistent Logics PJ

VIEW 1 EXCERPT

A Logic for Default Reasoning

VIEW 1 EXCERPT