A fragment of Intuitionistic Dynamic Logic

• Autorzy: Celani S.A.
• Języki publikacji: EN

Abstrakty

EN

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

EN

modal logic; Intuitionistic Modal Logic; dynamic logic

• Wydawca: IOS Press
• 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,