An Axiomatization for Until and Since over the Reals without the IRR rule

Research output: Contribution to journalArticle

23 Citations (Scopus)
Original languageEnglish
Pages (from-to)165-193
JournalStudia Logica
Volume51
Publication statusPublished - 1992
Externally publishedYes

Cite this