Existential Graphs and Tense Logic

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

7 Citations (Scopus)
Original languageEnglish
Title of host publicationConceptual Structures : Knowledge Representation as Interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, August 19-22, 1996, Proceedings : Lecture Notes in Artificial Intelligence, 115
PublisherIEEE Computer Society Press
Publication date1996
Pages203-217
ISBN (Print)3540615342
Publication statusPublished - 1996
EventExistential Graphs and Tense Logic -
Duration: 19 May 2010 → …

Conference

ConferenceExistential Graphs and Tense Logic
Period19/05/2010 → …

Keywords

  • Eksistentielle grafer
  • Tense Logik
  • Tidslogik
  • Modal logik

Cite this