Reusing Topological Nexttime Logic

Heinemann, B

Heinemann, B (corresponding author), Fernuniv, Fac Math & Comp Sci, D-58084 Hagen, Germany.

STUDIA LOGICA, 2020; 108 (6): 1207

Abstract

In this paper, a particular extension of the constitutive bi-modal logic for single-agent subset spaces will be provided. That system, which originall......

Full Text Link