


default search action
9th M4M@ICLA 2017: Kanpur, India
- Sujata Ghosh, R. Ramanujam:
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. EPTCS 243, 2017 - Thomas Bolander
:
A Gentle Introduction to Epistemic Planning: The DEL Approach. 1-22 - Kamal Lodaya, Paritosh K. Pandya:
Deterministic Temporal Logics and Interval Constraints. 23-40 - Lidia Tendera
:
Finite Model Reasoning in Expressive Fragments of First-Order Logic. 43-57 - Samuel Bucheli, Meghdad Ghari
, Thomas Studer
:
Temporal Justification Logic. 59-74 - Thorsten Engesser, Thomas Bolander
, Robert Mattmüller, Bernhard Nebel
:
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. 75-90 - Minghui Ma, Ahti-Veikko Pietarinen
:
Graphical Sequent Calculi for Modal Logics. 91-103 - Katsuhiko Sano
, John G. Stell
:
Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. 105-121

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
