Search for Author All Reviews
	Fitting, Melvin     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Types, tableaus, and Gödel’s god Fitting M., Kluwer Academic Publishers, Norwell, MA, 2002. 196 pp.  Type: Book (9781402006043) At one level, this book extends the study of first-order modal logic, by Fitting and Mendelsohn (Kluwer, 1998), to higher order modal logic. Many examples, like the President of the United States who is 50 years old, the King of France...... Nov 12 2003     Fixpoint semantics for logic programming a survey Fitting M. Theoretical Computer Science 278(1-2): 25-51, 2002.  Type: Article, Reviews: (2 of 2) In this survey paper, the reader is guided through a number of different fixpoint-based semantics, ranging from the usual Apt-van Emden-Kowalski semantics to metric approaches, and also considering the stable models semantics. As stat...... Nov 25 2002     Fixpoint semantics for logic programming a survey Fitting M. Theoretical Computer Science 278(1-2): 25-51, 2002.  Type: Article, Reviews: (1 of 2) The author provides a good overview of the development of semantic approaches to logic programming based on fixpoint theory....... Oct 30 2002
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy