Label-free Modular Systems for Classical and Intuitionistic Modal Logics.

Sonia Marin Lutz Straßburger

Published in: Advances in Modal Logic (2014)

Keyphrases

modal logic
classical logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
fuzzy set theory
expert systems
fuzzy logic
theorem prover