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

Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems

Advances in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-06483-3_24 ◽

2014 ◽

pp. 269-274

Author(s):

Qingliang Chen ◽

Kaile Su ◽

Yong Hu ◽

Guiwu Hu

Keyword(s):

Multi Agent Systems ◽

Agent Systems ◽

Coalition Logic ◽

Complete Axiomatization ◽

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

Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers

10.1007/978-3-030-88708-7_7 ◽

2021 ◽

pp. 88-101

Author(s):

Rustam Galimullin ◽

Thomas Ågotnes

Keyword(s):

Coalition Logic

Download Full-text

From Coalition Logic to STIT

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.02.011 ◽

2006 ◽

Vol 157 (4) ◽

pp. 23-35 ◽

Author(s):

Jan Broersen ◽

Andreas Herzig ◽

Nicolas Troquard

Keyword(s):

Coalition Logic

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

A normal simulation of coalition logic and an epistemic extension

10.1145/1324249.1324264 ◽

2007 ◽

Author(s):

Jan Broersen ◽

Andreas Herzig ◽

Nicolas Troquard

Keyword(s):

Coalition 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