Completeness of the finitary Moss logic.

Clemens Kupke Alexander Kurz Yde Venema

Published in: Advances in Modal Logic (2008)

Keyphrases

finite state
logic programming
modal logic
predicate logic
multi valued
classical logic
data sets
neural network
knowledge base
reinforcement learning
expert systems
optimal policy
defeasible logic
proof theory
logic synthesis