A tableau calculus for dynamic first order logic with applications in natural language semantics

Authors
Publication date 2000
Host editors
  • Johan Bos
  • Michael Kohlhase
Book title ICOS-2 Proceedings
Pages (from-to) 25-40
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Conference contribution
Permalink to this page
Back