Coalgebraic Announcement Logics.

Facundo Carreiro Daniel Gorín Lutz Schröder

Published in: ICALP (2) (2013)

Keyphrases

expressive power
modal logic
proof theory
inference rules
propositional calculus
classical logic
proof theoretic
propositional dynamic logic
data mining
genetic algorithm
multiscale
real time
probabilistic model
computational properties
order sorted