Functional Completenes for a Natural Deduction Formulation of Hybridized S5.

Torben Braüner

Published in: Advances in Modal Logic (2002)

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
particle swarm optimization
memetic algorithm
genetic algorithm
graphical models
sequent calculus
linear time temporal logic