scientific article

zbMath0665.03015MaRDI QIDQ3816057

P. Michael Melliar-Smith

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interval tense logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (2)

Interval logics and their decision procedures. I: An interval logic ⋮ A real-time interval logic and its decision procedure

This page was built for publication: