Login / Signup
A cut-free sequent calculus for the logic of subset spaces.
Birgit Elbl
Published in:
Advances in Modal Logic (2016)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
linear time temporal logic
wide class
proof search
theorem prover
logical framework
classical logic
first order logic
artificial intelligence
temporal logic
theorem proving