Séminaire de Logiques Non Classiques: Paulo VELOSO
On Graph Methods for Modalities
Paulo A. S. Veloso
Computing and System Enginneering Progr., COPPE, Federal University of Rio de Janeiro (UFRJ), Rio de Janeiro, RJ, Brazil
Joint work with Sheila R. M. Veloso (UERJ) and Mario R. F. Benevides (UFRJ)
We present a sound and complete graph calculus for (multi-)modalities. This calculus is a general frame-work for expressing modal formulas and frame properties, with a rich repertoire of relations (which may include the global and difference modalities and may have some special properties), and reasoning about them in a uniform manner. The calculus employs graphical interpretations of logical operators and builds graphical objects that represent conditions on Kripke structures.