Reasoning about actions and obligations in first-order logic

GJC (Gert-Jan) Lokhorst

Research output: Contribution to journalArticleAcademic

13 Citations (Scopus)
Original languageUndefined/Unknown
Pages (from-to)221-237
Number of pages17
JournalStudia Logica (Warszawa)
Volume57
DOIs
Publication statusPublished - 1996
Externally publishedYes

Research programs

  • EUR ESPHIL 04

Cite this