Prof. Frederico Brito Fernandes [email protected] IntroduçãoIntrodução.
Arthur Prior Temporal and Modal Logic
La Extensión de La Axiomática en Leonardo Polo
FIPA