default search action

combined dblp search
author search
venue search
publication search

ask others

9th M4M@ICLA 2017: Kanpur, India

> Home > Conferences and Workshops > ICLA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/GhoshR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshR17
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
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Bolander17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Bolander17
Thomas Bolander:
A Gentle Introduction to Epistemic Planning: The DEL Approach. 1-22
- view
  authority control:
- export record
  dblp key:
  - journals/corr/LodayaP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/LodayaP17
Kamal Lodaya, Paritosh K. Pandya:
Deterministic Temporal Logics and Interval Constraints. 23-40
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Tendera17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Tendera17
Lidia Tendera:
Finite Model Reasoning in Expressive Fragments of First-Order Logic. 43-57
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BucheliGS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BucheliGS17
Samuel Bucheli, Meghdad Ghari, Thomas Studer:
Temporal Justification Logic. 59-74
- view
  authority control:
- export record
  dblp key:
  - journals/corr/EngesserBMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EngesserBMN17
Thorsten Engesser, Thomas Bolander, Robert Mattmüller, Bernhard Nebel:
Cooperative Epistemic Multi-Agent Planning for Implicit Coordination. 75-90
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MaP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MaP17
Minghui Ma, Ahti-Veikko Pietarinen:
Graphical Sequent Calculi for Modal Logics. 91-103
- view
  authority control:
- export record
  dblp key:
  - journals/corr/SanoS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SanoS17
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.