Login / Signup
Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations.
Christopher Hampson
Stanislav Kikot
Agi Kurucz
Sérgio Marcelino
Published in:
CoRR (2019)
Keyphrases
</>
modal logic
nonmonotonic logics
expressive power
temporal logic
finite number
inference rules
production planning
product quality
life cycle
classical logic
product information
logic programs
epistemic logic