An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic

Santa Monica, Calif., Rand (1968)
Abstract This article has no associated abstract. (fix it)
Keywords Predicate calculus  Model theory  Formal languages Semantics
Categories (categorize this paper)
Call number QA9.35.R36 no. 5580
ISBN(s)
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,803
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
What is Mathematical Logic?John N. Crossley (ed.) - 1972 - Dover Publications.
A New Formulation of Discussive Logic.Jerzy Kotas & N. C. A. Costa - 1979 - Studia Logica 38 (4):429 - 445.
Wittgensteinian Predicate Logic.Kai Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
Model Theory and Validity.Yannis Stephanou - 2000 - Synthese 123 (2):165-193.
Tractarian Semantics for Predicate Logic.Hugh Miller - 1995 - History and Philosophy of Logic 16 (2):197-215.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
The Abstract Variable-Binding Calculus.Don Pigozzi & Antonino Salibra - 1995 - Studia Logica 55 (1):129 - 179.
Added to PP index
2009-09-15

Total downloads
1 ( #915,268 of 2,202,716 )

Recent downloads (6 months)
1 ( #301,061 of 2,202,716 )

How can I increase my downloads?

Monthly downloads

Sorry, there are not enough data points to plot this chart.
My notes
Sign in to use this feature