Expressive Logics for Coinductive Predicates.

Clemens Kupke Jurriaan Rot

Published in: CoRR (2020)

Keyphrases

expressive power
modal logic
inference rules
information systems
horn clauses
decision trees
propositional dynamic logic
horn logic
database
social networks
user defined
conditional logic
epistemic logic
proof theory
predicate invention