• Kroghstræde 3

    9220 Aalborg Ø

    Denmark

Research Output 1975 2019

Filter
Conference abstract in proceeding
2015

Towards a Formal Occurrence Logic based on Predicate Logic

Badie, F. & Götzsche, H., 1 Aug 2015, CLMPS and LC 2015: Book of Abstracts.

Research output: Contribution to book/anthology/report/conference proceedingConference abstract in proceedingResearchpeer-review

Predicate Logic
Logic
Argumentation
Arthur Prior
Temporal Logic