BibSonomy publications for /author/EijckFri Dec 23 00:00:00 CET 2011ACLconf/acl/198925-32Logical Forms in the Core Language Engine.1989dblp Thu Nov 24 00:00:00 CET 2011ECISconf/ecis/19951245-1256Dynamic modelling in practice: The application of dynamic modelling in two service organisations.1995dblp Fri Nov 18 00:00:00 CET 2011AAMASconf/atal/20111183-1184Message-generated Kripke semantics.2011dblp Tue Oct 18 00:00:00 CEST 2011LORIconf/lori/2011386-387Lecture Notes in Computer ScienceReflections on Vote Manipulation.69532011dblp Thu Sep 15 00:00:00 CEST 2011CLIMAconf/clima/201192-104Lecture Notes in Computer ScienceA Geometric Look at Manipulation.68142011dblp Tue Aug 30 00:00:00 CEST 2011Sci. Comput. Program.1-3147-149Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8.382000dblp Fri Aug 12 00:00:00 CEST 2011Journal of Applied Non-Classical Logics3173-191Verifying one hundred prisoners and a lightbulb.202010dblp Wed Jul 13 00:00:00 CEST 2011TARKconf/tark/2011212-220Message passing in a dynamic epistemic logic setting.2011dblp Wed Jun 29 00:00:00 CEST 2011Logic Journal of the IGPL5623-645Typed Logics With States.51997dblp Wed Jun 29 00:00:00 CEST 2011Logic Journal of the IGPL3411-445Tableau Reasoning and Programming with Dynamic First Order Logic.92001dblp Wed Jun 29 00:00:00 CEST 2011J. Log. Comput.5811-855Modal Logic, Transition Systems and Processes.41994dblp Tue Jun 28 00:00:00 CEST 2011CSLconf/csl/2001232-246Lecture Notes in Computer ScienceConstrained Hyper Tableaux.21422001dblp Wed Jun 22 00:00:00 CEST 2011ERCIM News8439Knowledge and Interaction in Social and Economic Networks.20112011dblp Fri Jun 03 00:00:00 CEST 2011Studia Logica141-58Making Things Happen.662000dblp Thu May 26 00:00:00 CEST 2011Journal of Logic, Language and Information3319-351Incremental Dynamics.102001dblp Thu May 26 00:00:00 CEST 2011Journal of Logic, Language and Information11-44Dynamic Interpretation and Hoare Deduction.11992dblp Wed May 25 00:00:00 CEST 2011Formal Asp. Comput.6A766-787Presupposition Failure-A Comedy of Errors.61994dblp Tue Apr 19 00:00:00 CEST 2011DALTconf/dalt/2010130-147Lecture Notes in Computer ScienceLogic of Information Flow on Communication Channels.66192010dblp Mon Apr 11 00:00:00 CEST 2011SyntheseSupplement-177-96The language of social software.1772010dblp Sun Sep 26 00:00:00 CEST 2010AAMASconf/atal/20101447-1448Logic of information flow on communication channels.2010dblp