Synchronization of Logics.

Amílcar Sernadas Cristina Sernadas Carlos Caleiro

Published in: Stud Logica (1997)

Keyphrases

modal logic
expressive power
inference rules
phase locked
computer vision
computational properties
chaotic systems
decision procedures
propositional dynamic logic
decision making
case study
machine learning
neural network
data sets
classical logic
proof theory
propositional calculus
music score
real time