Login / Signup
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