| Original language | English |
|---|---|
| Pages (from-to) | 205-207 |
| Number of pages | 3 |
| Journal | IfCoLoG Journal of Logics and their Applications |
| Volume | 6 |
| Issue number | 2 |
| State | Published - Mar 2019 |
Bibliographical note
Funding Information:The workshop, as well as the preparation of this volume, were supported by the Israel Science Foundation under grant number 817/15. We are also grateful to the Caesarea Rothschild Institute for Computer Science for their support with the organization of IsraLog’2017, and thank Dov Gabbay and Jane Spurr for their valuable help with the preparation of this volume.
ASJC Scopus subject areas
- Applied Mathematics
- Logic