On the Relative Incompleteness of Logics for Total Correctness.

Michal Grabowski

Published in: Logic of Programs (1985)

Keyphrases

expressive power
incomplete information
artificial intelligence
modal logic
databases
social networks
propositional calculus