Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Normal Forms for Modal Logics Claudia Nalon
 

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