A Fragment of Intuitionistic Dynamic Logic

Authors:
Sergio A. Celani
Affiliations:
-
Venue:
Fundamenta Informaticae
Year:
2001

Citing 3
Cited 0

Logics of time and computation

Logics of time and computation
A modal logic for cyclic repeating

Information and Computation
First steps in modal logic

First steps in modal logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.