What people are saying - Write a review
We haven't found any reviews in the usual places.
MODALITY AND DYNAMIC LOGIC
3VALUED LOGICS AND THEIR COMPUTATIONAL
5 other sections not shown
3-valued logic application Artificial Intelligence assigned the value assignment function assumption autoepistemic logic autoepistemic theory axiom Bochvar Chapter classical logic computer science connectives consistency construction define definition denoted domain dynamic logic element employ example expert systems expression first-order logic formal function symbol fuzzy logic fuzzy subset Gabbay Gabbay's Haack instants interpretation intervals introduced intuitionistic logic Joint Conf Kleene Kleene's knowledge logical constants Lukasiewicz Manna Martin-Lof's theory mathematics McDermott & Doyle meaning modal frame modal logic modal operators model structure monotonic Moore n-place non-empty non-monotonic inference non-monotonic logic non-standard logics Nordstrom Notes in Computer notion object of type paper partial models plausible extension possible worlds precise predicate calculus Proc programming language proof properties proposition quantification reasoning relation symbol robot rules of inference semantics sentence sequence statement Stuttgart office temporal logic temporal precedence Theorem theory of types true truth-value University variables Zadeh