Unifying Asynchronous Logics for Hyperproperties.

Alberto Bombardelli Laura Bozzelli César Sánchez Stefano Tonetta

Published in: CoRR (2024)

Keyphrases

expressive power
modal logic
inference rules
nonmonotonic logics
asynchronous communication
information retrieval
information systems
classical logic
epistemic logic
delay insensitive
real time
online discussion
computational properties
distributed constraint satisfaction
propositional calculus