The L[Pi] and L[Pi1/2]propositional and predicate logics.

Published in: Fuzzy Sets Syst. (2001)

Keyphrases

first order logic
expressive power
real time
modal logic
horn clauses
inference rules
propositional logic
default logic
propositional calculus