The Sequent Systems and Algebraic Semantics of Intuitionistic Tense Logics.

Kaiyang Lin Zhe Lin

Published in: LORI (2019)

Keyphrases

inference rules
modal logic
rewrite systems
information systems
expert systems
theorem prover
management system
fuzzy sets
logic programs
complex systems
expressive power
formal semantics
temporal relations
epistemic logic
dynamic aspects