Forcing and Calculi for Hybrid Logics.
| Autor: | GĂINĂ, DANIEL1 daniel@imi.kyushu-u.ac.jp |
|---|---|
| Zdroj: | Journal of the ACM. Aug2020, Vol. 67 Issue 4, p1-55. 55p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
| Autor: | GĂINĂ, DANIEL1 daniel@imi.kyushu-u.ac.jp |
|---|---|
| Zdroj: | Journal of the ACM. Aug2020, Vol. 67 Issue 4, p1-55. 55p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|