zbMath0665.03015MaRDI QIDQ3816057
P. Michael Melliar-Smith
Publication date: 1988
zbMATH Keywords
interval tense logics
Mathematics Subject Classification ID
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
Related Items