Pure Modal Logic of Names and Tableau Systems.

Andrzej Pietruszczak Tomasz Jarmuzek

Published in: Stud Logica (2018)

Keyphrases

modal logic
temporal logic
inference rules
description logics
distributed systems
decision procedures
management system
case based reasoning
model checking
default logic
epistemic logic
explanation based generalization