Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed
query: SELECT sid FROM sessions WHERE sid = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121 Contract agreements via logic | Gruppo di Logica e Geometria della Cognizione
Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino
in proceedings of 6th Interaction and Concurrency Experience (ICE 2013)
Abstract
We relate two contract models: one based on event structures
and game theory, and the other one based on logic. In particular, we
show that the notions of agreement and winning strategies in the game
theoretic model are related to that of provability in the logical model.
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'vidc82cb9apk5s49qpd79d8ce0' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/561', 'http://logica.uniroma3.it/pubblicazioni/tutti', '193.204.165.103', 1754566509) in /var/www/church/includes/database.mysql.inc on line 121
Warning: Can't find file: 'watchdog' (errno: 2)
query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: INSERT INTO sessions (sid, uid, cache, hostname, session, timestamp) VALUES ('vidc82cb9apk5s49qpd79d8ce0', 0, 0, '193.204.165.103', '', 1754566509) in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/561', 'http://logica.uniroma3.it/pubblicazioni/tutti', '193.204.165.103', 1754566509) in /var/www/church/includes/database.mysql.inc on line 121
