Cut-free Systems for some Modal Logics Containing S4.

Tatsuya Shimura

Published in: Reports Math. Log. (1992)

Keyphrases

modal logic
expert systems
inference rules
decision procedures
nonmonotonic logics
reinforcement learning
computer systems
temporal logic
default logic
classical logic
epistemic logic