The One-Variable Fragment of Corsi Logic.

Xavier Caicedo George Metcalfe Ricardo Oscar Rodríguez Olim Tuyt

Published in: WoLLIC (2019)

Keyphrases

modal logic
automata theoretic
classical logic
neural network
data sets
epistemic logic
databases
proof theory
search algorithm
logic programming
defeasible logic
real time
linear logic
truth values
predicate logic
multi valued
multi agent systems
bayesian networks
case study