Uses of MultiContext Logics
Meta Reasoning
Propositional Attitudes
Propositional Attitudes
and Temporal Logics
Reasoning about Situations
Solving the Qualification Problem
Security Protocols
Information Integration
Local Relational Model
Knowledge Management
Counterfactuals
Web mastering:
Alessandro Tomasi
Last Update: August 2002