A multimodal logic for closeness

, &
Journal of Applied Non-Classical Logics 27 (3):225-237 (2017)
  Copy   BIBTEX

Abstract

We introduce a multimodal logic for order of magnitude reasoning which considers a new logic-based alternative to the notion of closeness, we provide an axiom system and prove its soundness and completeness.

Categories

Keywords

Reprint years

2018

DOI

10.1080/11663081.2018.1442137

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning.Alfredo Burrieza, Emilio MuÑoz-Velasco & Manuel Ojeda-Aciego - forthcoming - Logic Journal of the IGPL.
Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance.Joanna Golinska-Pilarek & Emilio Munoz Velasco - 2009 - Logic Journal of the IGPL 17 (4):375–394.
Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance.Joanna Golinska-Pilarek, Angel Mora & Emilio Munoz Velasco - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 128--139.
A hierarchy of modal logics with relative accessibility relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
Kripke models for classical logic.Danko Ilik, Gyesik Lee & Hugo Herbelin - 2010 - Annals of Pure and Applied Logic 161 (11):1367-1378.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.
Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.

Analytics

Added to PP
2018-03-05

Downloads
20 (#181,865)

6 months
5 (#1,552,255)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Alfredo Burrieza
University of Málaga
Emilio Muñoz-Velasco
Universidad de Málaga
Elizabeth Munoz
Texas A&M University-Commerce

Citations of this work

Add more citations

References found in this work

Order of magnitude reasoning.Olivier Raiman - 1991 - Artificial Intelligence 51 (1-3):11-38.

Add more references