A completeness theorem for three-valued temporalpredicate logic

Carmen Chirita

Full Text:

PDF