Login / Signup
M4M@ICLA
2017
2017
2017
Keyphrases
Publications
2017
Katsuhiko Sano
,
John G. Stell
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics.
M4M@ICLA
(2017)
Minghui Ma
,
Ahti-Veikko Pietarinen
Graphical Sequent Calculi for Modal Logics.
M4M@ICLA
(2017)
Thorsten Engesser
,
Thomas Bolander
,
Robert Mattmüller
,
Bernhard Nebel
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination.
M4M@ICLA
(2017)
Kamal Lodaya
,
Paritosh K. Pandya
Deterministic Temporal Logics and Interval Constraints.
M4M@ICLA
(2017)
Samuel Bucheli
,
Meghdad Ghari
,
Thomas Studer
Temporal Justification Logic.
M4M@ICLA
(2017)
Lidia Tendera
Finite Model Reasoning in Expressive Fragments of First-Order Logic.
M4M@ICLA
(2017)
Thomas Bolander
A Gentle Introduction to Epistemic Planning: The DEL Approach.
M4M@ICLA
(2017)
volume 243, 2017
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017.
M4M@ICLA
243 (2017)