Sign in
On Pretabular Logics in NExtK4 (Part II).
Shan Du
Published in:
Stud Logica (2014)
Keyphrases
</>
modal logic
expressive power
information systems
nonmonotonic logics
real time
image sequences
propositional calculus
database
data sets
databases
social networks
web services
multi agent systems
first order logic
propositional dynamic logic