Intuitionistic S4 is decidable.
Marianna GirlandoRoman KuznetsSonia MarinMarianela MoralesLutz StraßburgerPublished in: LICS (2023)
Keyphrases
- linear logic
- first order logic
- theorem prover
- fuzzy information
- fuzzy numbers
- fuzzy set theory
- interval valued
- classical logic
- transitive closure
- datalog programs
- polynomial hierarchy
- natural deduction
- databases
- partially ordered
- real valued
- conjunctive queries
- decision makers
- knowledge representation
- website
- data mining