Models for relevant modal logics.

André Fuhrmann

Published in: Stud Logica (1990)

Keyphrases

modal logic
decision procedures
inference rules
query language
incomplete information
classical logic
epistemic logic