Login / Signup
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Christopher Hampson
Stanislav Kikot
Agi Kurucz
Sérgio Marcelino
Published in:
Ann. Pure Appl. Log. (2020)
Keyphrases
</>
modal logic
nonmonotonic logics
temporal logic
classical logic
inference rules
finite number
product design
expressive power
real time
epistemic logic
inductive inference
default logic
data sets
database
life cycle
model checking
product development
multi agent
modal operators
kripke models