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: 91,219

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

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.
On definability in multimodal logic: On definability in multimodal logic.Joseph Y. Halpern - 2009 - Review of Symbolic Logic 2 (3):451-468.
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.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Multimodal logic for syntax.Alain Lecomte - 1998 - Logica Trianguli 2:49-72.
Models for anodic and cathodic multimodalities.Juliana Bueno-Soler - 2012 - Logic Journal of the IGPL 20 (2):458-476.
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 multimodal parallel architecture: A cognitive framework for multimodal interactions.Neil Cohn - 2016 - Cognition 146 (C):304-323.
Counterfactual closeness and predicted affect.Anton Kühberger, Christa Großbichler & Angelika Wimmer - 2011 - Thinking and Reasoning 17 (2):137 - 155.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
The Multimodal Experience of Art.Bence Nanay - 2012 - British Journal of Aesthetics 52 (4):353-363.
Chapter 6. Nonverbal and multimodal manifestations of metaphors and metonymies: A case study.Eduardo Urios-Aparisi & Charles J. Forceville - 2009 - In Eduardo Urios-Aparisi & Charles J. Forceville (eds.), Multimodal Metaphor. Mouton de Gruyter.
Mortality and World Hunger.Rüdiger Bittner - 2001 - Metaphilosophy 32 (1&2):25-33.

Analytics

Added to PP
2018-03-05

Downloads
17 (#819,600)

6 months
3 (#902,269)

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