Kripke Semantics for Basic Sequent Systems.

Arnon Avron Ori Lahav

Published in: TABLEAUX (2011)

Keyphrases

modal logic
intelligent systems
inference rules
complex systems
desirable properties
genetic algorithm
management system
formal semantics
neural network
web services
distributed systems