Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Preservation of expressive completeness in temporal models
Amir A., Gabbay D. (ed)   (,1991.Type:Proceedings
Date Reviewed: Oct 1 1987

A propositional logic is expressively complete if there is a finite set of connectives that define all truth tables. The authors prove that expressive completeness is preserved in a lexicographic product of expressively complete time models. Some nonlinear models over which there is expressive completeness are built.

Reviewer:  C. Calude Review #: CR123146
Bookmark and Share
 
Computational Logic (F.4.1 ... )
 
 
Algebraic Language Theory (F.4.3 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Computational Logic": Date
Extended Horn sets in propositional logic
Chandru V., Hooker J. Journal of the ACM 38(1): 205-221, 1991. Type: Article
Nov 1 1991
Monotone versus positive
Ajtai M., Gurevich Y. (ed) Journal of the ACM 34(4): 1004-1015, 1987. Type: Article
Jul 1 1988
Expressive completeness failure in branching time structures
Amir A. Journal of Computer and System Sciences 34(1): 27-42, 1987. Type: Article
Sep 1 1988
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy