How to Find a Coin: Propositional Program Logics Made Easy.

Nikolay V. Shilov Kwang Yi

Published in: Bull. EATCS (2001)

Keyphrases

first order logic
default logic
expressive power
propositional variables
modal logic
inference rules
coalition logic
classical first order logic
nonmonotonic logics
multi valued
computer programs
propositional logic
logic programming
horn clauses
classical logic
test cases
database