Quantifiers in combinatory PDL: completeness, definability, incompleteness.

Solomon Passy Tinko Tinchev

Published in: FCT (1985)

Keyphrases

propositional logic
first order logic
incomplete information
fixed point
data quality
dynamic logic
propositional dynamic logic
machine learning
three dimensional
missing values
database
information retrieval
information systems
deontic logic
finitely representable