Two-layer modal logics: from fuzzy logics to a general framework

5 pages•Published: July 28, 2014

Abstract

The idea of two-layer modal logics is inspired by the treatment of probability inside mathematical fuzzy logic, pioneered by Hajek and recently
studied by numerous authors in numerous papers. Such logics are used in order to deal with a certain property of formulas of the base logic using a suitable `upper' logic (the seminal example being the probability of classical events formalized inside Lukasiewicz logic). The primary aim of this paper is to provide a new general framework for two-layer modal logics that encompasses the current state of the art and paves the way for future development. Diverting for the area of mathematical fuzzy logic, we show how one can construct such modal logic over an arbitrary non-classical logic (under certain technical requirements) with a modality interpreted by an arbitrary measure. We equip the resulting logics with a semantics of measured Kripke frames and prove corresponding completeness theorems. As an illustration of our results, we reprove Hajek's completeness result for Fuzzy Probability logic over Lukasiewicz logic.

Keyphrases: fuzzy logic, modal logic, two level syntax

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 43-47.

Links:	https://easychair.org/publications/paper/PL
	https://doi.org/10.29007/jpxr

BibTeX entry

@inproceedings{TACL2013:Two_layer_modal_logics,
  author    = {Petr Cintula and Carles Noguera},
  title     = {Two-layer modal logics: from fuzzy logics to a general framework},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/PL},
  doi       = {10.29007/jpxr},
  pages     = {43-47},
  year      = {2014}}

Download PDF Open PDF in browser