A comparative fuzzy modal logic

  • Petr Hájek
  • Dagmar Harmancová
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 695)


A formal logical systems dealing both with uncertainty (possibility) and vagueness (fuzziness) is investigated. It is many-valued and modal. The system is related to a many-valued tense logic. A completeness theorem is exhibited.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bendová K.,Hájek P.: Possibilistic logic as tense logic, in: Proc. of QUARDET'93, Barcelona.Google Scholar
  2. 2.
    Burgess J.P.: Basic tense logic, in: Gabbay, Guenthner (eds.): Handbook of Philosophical Logic, Vol. II, Reidel 1984.Google Scholar
  3. 3.
    Fitting M.: Many-Valued Modal Logics, Fundamenta Informaticae.Google Scholar
  4. 4.
    Godo L., Lopez de Mantaras R.: Fuzzy logic, to appear in Encyclopaedia of Computer Science.Google Scholar
  5. 5.
    Gottwald S.: Mehrwertige Logik, Akademie-Verlag, Berlin 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Petr Hájek
    • 1
  • Dagmar Harmancová
    • 1
  1. 1.Institute of Computer ScienceAcademy of SciencesPragueCzech Republic

Personalised recommendations