Lattice-valued possibility measures on the basis of multimodal logic

2002 ◽  
Author(s):  
S. Miyamoto
Keyword(s):  
Multimodal Logic

ON DEFINABILITY IN MULTIMODAL LOGIC

2009 ◽  
Vol 2 (03) ◽  
pp. 451 ◽  
Author(s):  
JOSEPH Y. HALPERN ◽  
DOV SAMET ◽  
ELLA SEGEV
Keyword(s):  
Multimodal Logic

A multimodal logic for reasoning about complementarity

2000 ◽  
Vol 10 (3-4) ◽  
pp. 273-301 ◽  
Author(s):  
Ivo Düntsch ◽  
Beata Konikowska
Keyword(s):  
Multimodal Logic

scholarly journals Multimodal logic programming using equational and order-sorted logic

1992 ◽  
Vol 105 (1) ◽  
pp. 141-166 ◽  
Author(s):  
Françoise Debart ◽  
Patrice Enjalbert ◽  
Madeleine Lescot
Keyword(s):  
Logic Programming ◽  
Multimodal Logic

scholarly journals Multimodal logic programming

2006 ◽  
Vol 360 (1-3) ◽  
pp. 247-288 ◽  
Author(s):  
Linh Anh Nguyen
Keyword(s):  
Logic Programming ◽  
Multimodal Logic

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning

2019 ◽  
Vol 28 (1) ◽  
pp. 121-133
Author(s):  
Alfredo Burrieza ◽  
Emilio Muñoz-Velasco ◽  
Manuel Ojeda-Aciego
Keyword(s):  
Qualitative Reasoning ◽  
Logical Approach ◽  
Multimodal Logic ◽  
Order Of Magnitude ◽  
Important Notion

Abstract In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities of the logic with respect to expressivity in order to denote particular positions of the proximity intervals.

Sign in / Sign up

Export Citation Format

Share Document