Author:
Veloso Paulo A.S.,Veloso Sheila R.M.,Benevides Mario R.F.
Funder
Conselho Nacional de Desenvolvimento CientÃfico e Tecnológico
Coordenação de Aperfeiçoamento de Pessoal de NÃvel Superior
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Interaction-free PDL with intersection: a complete axiomatization;Balbiani;Fund. Inform.,1998
2. PDL with intersection of programs: a complete axiomatization;Balbiani;J. Appl. Non-Classical Logics,2003
3. Modal Logic;Blackburn,2001
4. Modal tableaux with propagation rules and structural rules;Castilho;Fund. Inform.,1998
5. A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs;Carbone;Inform. and Comput.,2010