Skip to main content
Top

Journal of Logic, Language and Information

Issue 4/2014

Content (6 Articles)

Action Type Deontic Logic

Martin Mose Bentzen

Natural Language Inference in Coq

Stergios Chatzikyriakidis, Zhaohui Luo

Premium Partner