Some Admissible Rules in Modal Systems with the Brouwerian Axiom.

Timothy Williamson

Published in: Log. J. IGPL (1996)

Keyphrases

rule based systems
complex systems
modal logic
database
databases
evolutionary algorithm
management system
search engine
multi agent systems
expert systems
distributed systems
building blocks
inference rules
abstraction levels