Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus.

Shoshin Nomura Norihiro Arai Satoshi Tojo

Published in: ICAART (Revised Selected Papers) (2019)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
dynamical systems
natural deduction
belief functions
linear time temporal logic
modal operators
probability theory
wide class
graphical models
classical logic
desirable properties
temporal logic
proof search
belief revision