Axioms for tense logic I. “since” and “until”

Research output: Contribution to journalArticlepeer-review

61 Scopus citations
Original languageEnglish (US)
Pages (from-to)367-374
Number of pages8
JournalNotre Dame Journal of Formal Logic
Volume23
Issue number4
DOIs
StatePublished - Oct 1982

All Science Journal Classification (ASJC) codes

  • Logic

Fingerprint

Dive into the research topics of 'Axioms for tense logic I. “since” and “until”'. Together they form a unique fingerprint.

Cite this