A Tableau Calculus for Dynamic First Order Logic with Applications in Natural Language Semantics

J. van Eijck

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Keywords

@inproceedings{b58087f2c5aa48b1a564c1017446214d,

title = "A Tableau Calculus for Dynamic First Order Logic with Applications in Natural Language Semantics",

keywords = "Wiskunde en computerwetenschappen, Menswetenschappen, Linguistic theory, Applied linguistics",

author = "{van Eijck}, J.",

year = "2000",

language = "Undefined/Unknown",

pages = "25--40",

editor = "J. Bos and M. Kohlhase",

booktitle = "ICOS-2 Proceedings",

publisher = "University of Saarbr{\"u}cken",

}

TY - GEN

T1 - A Tableau Calculus for Dynamic First Order Logic with Applications in Natural Language Semantics

AU - van Eijck, J.

PY - 2000

Y1 - 2000

KW - Wiskunde en computerwetenschappen

KW - Menswetenschappen

KW - Linguistic theory

KW - Applied linguistics

M3 - Conference contribution

SP - 25

EP - 40

BT - ICOS-2 Proceedings

A2 - Bos, J.

A2 - Kohlhase, M.

PB - University of Saarbrücken

CY - Saarbrücken (Germany)

ER -