An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic
Santa Monica, Calif.,Rand Corp. (1968)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Predicate calculus Model theory Formal languages Semantics | |||||||||
| Categories | ||||||||||
| Call number | QA9.35.R36 no. 5580 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesJohn N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Don Pigozzi & Antonino Salibra (1995). The Abstract Variable-Binding Calculus. Studia Logica 55 (1):129 - 179.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Martin Stokhof (1991). Dynamic Predicate Logic. Linguistics and Philosophy 14 (1):39 - 100.
Hugh Miller (1995). Tractarian Semantics for Predicate Logic. History and Philosophy of Logic 16 (2):197-215.
Yannis Stephanou (2000). Model Theory and Validity. Synthese 123 (2):165-193.
Kai Wehmeier (2004). Wittgensteinian Predicate Logic. Notre Dame Journal of Formal Logic 45 (1):1-11.
Jerzy Kotas & N. C. A. Costa (1979). A New Formulation of Discussive Logic. Studia Logica 38 (4):429 - 445.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-09-15Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
