Generalized inquisitive logic: completeness via intuitionistic Kripke models.

Ivano Ciardelli Floris Roelofsen

Published in: TARK (2009)

Keyphrases

kripke models
modal logic
classical logic
linear logic
decision procedures
action theories
logical framework
inference rules
cut elimination
natural deduction
logic programming
situation calculus
temporal logic
multi agent
fuzzy set theory
default logic
interval valued
fuzzy numbers
theorem prover