Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Interpolation theorems for some variants of LTL

Szczegóły
Abstrakt

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
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

It is known that Craig interpolation theorem does not hold for LTL. In this paper, Craig interpolation theorems are shown for some fragments and extensions of LTL. These theorems are simply proved based on an embedding-based proof method with Gentzen-type sequent calculi. Maksimova separation theorems (Maksimova principle of variable separation) are also shown for these LTL variants.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Interpolation theorems for some variants of LTL