Mathijs de Boer

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Knowledge Representation Language

Update Semantics

Top Venues

Publications

Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synth. 187 (2) (2012)
Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
Tableaux for Acceptance Logic. DALT (2009)