Reasoning about actions and obligations in first-order logic

GJC (Gert-Jan) Lokhorst

Research output: Contribution to journal › Article › Academic

13 Citations (Scopus)

Research programs

@article{e772cc03f3da41f792f5da89a19d1197,

title = "Reasoning about actions and obligations in first-order logic",

author = "Lokhorst, \{GJC (Gert-Jan)\}",

year = "1996",

doi = "10.1007/BF00370676",

language = "Undefined/Unknown",

volume = "57",

pages = "221--237",

journal = "Studia Logica (Warszawa)",

issn = "0039-3215",

publisher = "Springer Netherlands",

}