A Natural Intuitionistic Modal Logic: Axiomatization and Bi-nested Calculus.

Philippe Balbiani Han Gao Çigdem Gencer Nicola Olivetti

Published in: CoRR (2023)

Keyphrases

modal logic
sequent calculus
cut elimination
classical logic
situation calculus
inference rules
natural deduction

temporal logic
decision procedures
epistemic logic
nonmonotonic logics
business intelligence
conditional logic
theorem prover

dynamic logic
autoepistemic logic
default logic
action theories
theorem proving
linear logic

fuzzy set theory
explanation based generalization
modal operators
propositional logic
fuzzy numbers
model checking