Intuitionistic S4 is decidable.

Marianna Girlando Roman Kuznets Sonia Marin Marianela Morales Lutz Straßburger

Published in: CoRR (2023)

Keyphrases

linear logic
first order logic
fuzzy set theory
theorem prover
interval valued
datalog programs
classical logic
fuzzy numbers
fuzzy information
knowledge representation
theorem proving
transitive closure
artificial intelligence
np complete
fuzzy sets
expert systems
case study
decision making