Expressive Logics for Coinductive Predicates.

Clemens Kupke Jurriaan Rot

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

expressive power
modal logic
proof theory
real time
neural network
website
propositional calculus
propositional dynamic logic
data sets
case study
information extraction
user defined
proof theoretic
inheritance reasoning