Some Questions about Expressiveness and Relative Completeness in Hoare's Logic.

Mario Rodríguez-Artalejo

Published in: Theor. Comput. Sci. (1985)

Keyphrases

computational properties
expressive power
modal logic
classical logic
answer questions
logic programming
multiple choice
website
open questions
data mining
description logics
monadic second order logic
sound and complete axiomatization