Johan van Benthem

Home / Activities / Publications / Teaching / Research / Talks

Publications: Conference Proceedings: 2010s

2000s 2010    2011


2010
 Logic Between Expressivity and Complexity. In J. Giesl & R. Hähnle, eds., Proceedings IJCAR 2010. Springer (LNAI 6173), pags 122-126.
 Deontics = Betterness + Priority. In G. Governatori & G. Sartor, eds., Proceedings Deontic Logic in Computer Science, DEON 2010 (Fiesole, Italy). Springer (LNAI 6181), , pags 50-65. [with Davide Grossi & Fenrong Liu].


2011
 Exploring a Theory of Play. In K. R. Apt, eds., Proceedings TARK 2011. To appear. (Text available.)


Universiteit van Amsterdam Logic in Action Stanford University ILLC

Back to the top

Back to Home