Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.

David Sprunger Lawrence S. Moss

Published in: CALCO (2017)

Keyphrases

expressive power
modal logic
inference rules
human behavior
proof theory
propositional dynamic logic
conditional logic
classical logic
higher order
information systems
search engine
theorem proving
artificial intelligence
information retrieval
databases
propositional variables
data sets