Abstract
In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove the finite modal property.
In this paper we study modal logics of closed domains on the real plane ordered by the chronological future relation. For the modal logic determined by an arbitrary closed convex domain with a smooth bound, we present a finite axiom system and prove the finite modal property.
Journal of Applied Non-Classical Logics – Taylor & Francis
Published: Jan 1, 2007
Keywords: chronological future modality; completeness; finite model property
Access the full text.
Sign up today, get DeepDyve free for 14 days.