Summary: Normal Forms for Modal Logics
Cl´audia Nalon
Universidade de Bras´ilia
Instituto de Ci^encias Exatas
Departamento de Ci^encia da Computac¸ ~ao
nalon@cic.unb.br
1
Motivation
· Normal modal logics have been used in computer science to represent complex situations,
e.g. multi-agent and distributed systems;
· Verification of properties of those systems may require the combination of proof methods;
· Provide a set of tools, based on clausal resolution, to tackle these problems.
2
Axioms
K : ( ) ( )
T :
D :
4 :
5 :
B :

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

Collections: Mathematics