Modal Logics for Brane Calculus.

Marino Miculan Giorgio Bacci

Published in: CMSB (2006)

Keyphrases

modal logic
sequent calculus
temporal logic
decision procedures
cut elimination
inference rules
classical logic
epistemic logic
default logic
nonmonotonic logics
modal operators
belief revision
cooperative
model checking
dynamic logic
natural deduction
query language
xml documents