Volume 4 presents substantial advances in the relational and the algorithmic treatment of modal logics. It contains invited and contributed papers from the fourth conference on "Advances in Modal logic," held in Toulouse (France) in October 2002. It includes papers on combinations of modal logics, dynamic logic, description logic, temporal logic, epistemic logic and spatial logic.

 

Guest should register an account Register