Cut-Free Systems for the Modal Logic S4.3 and S4.3Grz.

Tatsuya Shimura

Published in: Reports Math. Log. (1991)

Keyphrases

modal logic
distributed systems
temporal logic
management system
inference rules
situation calculus
decision procedures
dynamic logic