Decidable Kripke Models of Intuitionistic Theories.

Hajime Ishihara Bakhadyr Khoussainov Anil Nerode

Published in: Ann. Pure Appl. Log. (1998)

Keyphrases

action theories
kripke models
situation calculus
modal logic
classical logic
linear logic
fuzzy set theory
theorem prover
initial state
first order logic
incomplete information
fuzzy numbers
interval valued
fuzzy information
transitive closure
cut elimination
reasoning about actions
multi agent
query processing