- Tytuł:
- Robinson consistency in many-sorted hybrid first-order logics
- Autorzy:
-
Găină, Daniel
Kowalski, Tomasz
Badia, Guillermo - Data publikacji:
- 2022
- Wydawca:
- College Publications
- Słowa kluczowe:
-
hybrid logic
institution
interpolation
Robinson consistency - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego