A multimodal logic for closeness.

Alfredo Burrieza Emilio Muñoz-Velasco Manuel Ojeda-Aciego

Published in: J. Appl. Non Class. Logics (2017)

Keyphrases

modal logic
logic programming
predicate logic
classical logic
automated reasoning
multi modal
databases
asynchronous circuits
data mining
logic programs
programming language
learning algorithm
computational properties
neural network
epistemic logic
deontic logic
real time
proof theory
logic synthesis