Expressive Logics for Coinductive Predicates.

Clemens Kupke Jurriaan Rot

Published in: CSL (2020)

Keyphrases

expressive power
modal logic
inference rules
classical logic
propositional calculus
propositional dynamic logic
proof theory
logical formulas
horn clauses
order sorted
horn logic
highly expressive
database
logic programming
multi agent systems
social networks
genetic algorithm