Forcing and satisfaction in Kripke models of intuitionistic arithmetic.

Maryam Abiri Morteza Moniri Mostafa Zaare

Published in: Log. J. IGPL (2019)

Keyphrases

kripke models
modal logic
linear logic
classical logic
user satisfaction
fuzzy numbers
theorem prover
fuzzy set theory
floating point
customer satisfaction
fuzzy information
service quality
multi agent systems
action theories