A Runs-and-Systems Semantics for Logics of Announcements.

Riccardo Pucella Mehrnoosh Sadrzadeh

Published in: LOFT (2008)

Keyphrases

logic programming
proof theory
data sets
management system
semantic information
complex systems
data exchange
deductive databases