A fragment of Intuitionistic Dynamic Logic

Celani, S.A.

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Artykuł - szczegóły

Czasopismo

Fundamenta Informaticae

2001 | Vol. 46, nr 3 | 187-197

Tytuł artykułu

A fragment of Intuitionistic Dynamic Logic

Autorzy

Celani, S.A.

Wybrane pełne teksty z tego czasopisma

https://fi.episciences.org/

Warianty tytułu

Języki publikacji

Abstrakty

We present a fragment of Propositional Dynamic Logic based on the Intuitionistic Propositional Logic. We show that this logic has the finite model property, and therefore, is frame-complete

Słowa kluczowe

modal logic Intuitionistic Modal Logic dynamic logic

Wydawca

Czasopismo

Fundamenta Informaticae

Rocznik

2001

Tom

Vol. 46, nr 3

Strony

187-197

Opis fizyczny

bibliogr. 10 poz.

Twórcy

autor

Celani, S.A.

Facultad de Ciencias Exactas Depatamento de Matematica Universidad Nacional del Centro Pinto 399, 7000-Tandil, Argentina, scelani@exa.unicen.edu.ar

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.baztech-article-BUS1-0009-0091