- Tytuł:
- Interpolation theorems for some variants of LTL
- Autorzy:
- Kamide, N.
- Data publikacji:
- 2015
- Słowa kluczowe:
-
Craig interpolation theorem
linear-time temporal logic
infinitary logic
paraconsistent logic
sequent calculus - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł