On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic

Lecture Notes in Computer Science - How the World Computes ◽

10.1007/978-3-642-30870-3_33 ◽

2012 ◽

pp. 323-333 ◽

Author(s):

Wiebe van der Hoek ◽

Petar Iliev ◽

Barteld Kooi

Keyword(s):

Multimodal Logic

Download Full-text

A resolution method for a non monotonic multimodal logic

Symbolic and Quantitative Approaches to Reasoning and Uncertainty - Lecture Notes in Computer Science ◽

10.1007/bfb0028208 ◽

2005 ◽

pp. 257-264 ◽

Author(s):

Christophe Mathieu

Keyword(s):

Resolution Method ◽

Multimodal Logic

Download Full-text

A Multimodal Logic Approach to Order of Magnitude Qualitative Reasoning

Current Topics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25945-9_7 ◽

2004 ◽

pp. 66-75 ◽

Author(s):

Alfredo Burrieza ◽

Manuel Ojeda-Aciego

Keyword(s):

Qualitative Reasoning ◽

Multimodal Logic ◽

Order Of Magnitude ◽

Download Full-text

ON DEFINABILITY IN MULTIMODAL LOGIC

The Review of Symbolic Logic ◽

10.1017/s175502030999013x ◽

2009 ◽

Vol 2 (03) ◽

pp. 451 ◽

Author(s):

JOSEPH Y. HALPERN ◽

DOV SAMET ◽

ELLA SEGEV

Keyword(s):

Multimodal Logic

Download Full-text

On the Multimodal Logic of Normative Systems

Coordination, Organizations, Institutions, and Norms in Agent Systems III - Lecture Notes in Computer Science ◽

10.1007/978-3-540-79003-7_19 ◽

2008 ◽

pp. 261-274

Author(s):

Pilar Dellunde

Keyword(s):

Normative Systems ◽

Multimodal Logic

Download Full-text

Lattice-valued possibility measures on the basis of multimodal logic

10.1109/sice.1997.624925 ◽

2002 ◽

Author(s):

S. Miyamoto

Keyword(s):

Multimodal Logic

Download Full-text

A multimodal logic for reasoning about complementarity

Journal of Applied Non-Classical Logics ◽

10.1080/11663081.2000.10511000 ◽

2000 ◽

Vol 10 (3-4) ◽

pp. 273-301 ◽

Author(s):

Ivo Düntsch ◽

Beata Konikowska

Keyword(s):

Multimodal Logic

Download Full-text

A model of trust and reputation in e-commerce based on multimodal logic

2011 IEEE 7th International Conference on Intelligent Computer Communication and Processing ◽

10.1109/iccp.2011.6047853 ◽

2011 ◽

Author(s):

Ioan Alfred Letia ◽

Radu Razvan Slavescu

Keyword(s):

Trust And Reputation ◽

Multimodal Logic

Download Full-text

Multimodal logic programming using equational and order-sorted logic

Theoretical Computer Science ◽

10.1016/0304-3975(92)90290-v ◽

1992 ◽

Vol 105 (1) ◽

pp. 141-166 ◽

Author(s):

Françoise Debart ◽

Patrice Enjalbert ◽

Madeleine Lescot

Keyword(s):

Logic Programming ◽

Multimodal Logic

Download Full-text

Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

Modality, Semantics and Interpretations - Logic in Asia: Studia Logica Library ◽

10.1007/978-3-662-47197-5_1 ◽

2015 ◽

pp. 1-22 ◽

Author(s):

Thomas Ågotnes ◽

Natasha Alechina

Keyword(s):

Coalition Logic ◽

Multimodal Logic

Download Full-text

Multimodal logic programming

Theoretical Computer Science ◽

10.1016/j.tcs.2006.03.026 ◽

2006 ◽

Vol 360 (1-3) ◽

pp. 247-288 ◽

Author(s):

Linh Anh Nguyen

Keyword(s):

Logic Programming ◽

Multimodal Logic

Download Full-text