| |
In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001)
|
| |
|
| |
Handbook of the History of Logic In Handbook of the History of Logic (2006), pp. 601-664.
|
| |
|
| |
In Handbook of Logic in Computer Science, Vol. 2 (1992), pp. 117-309.
|
| |
|
| |
|
| |
|
| |
|
| |
J Logic Computation, Vol. 15, No. 6. (1 December 2005), pp. 1041-1058.
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5 (1998), pp. 235-324.
|
| |
Vol. 3 (1998), pp. 329-375.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
(30 November 2006)
by Dov Gabbay, Paul Thagard, John Woods, et al.Jeremy Butterfield, John Earman, Gordon Belot, David Malament, Michael Dickson, N. P. Landsman, Jeffrey Bub, Gerard 't-Hooft, Hans Halvorson, Michael Muger, Jos Uffink, Gerard Emch, George F. R. Ellis, Carlo Rovelli, Katherine Brading, Elena Castellani
|
| |
Journal of Logic, Language and Information, Vol. 1, No. 3. (1 September 1992), pp. 203-233.
|
| |
Logic Jnl IGPL, Vol. 10, No. 2. (1 March 2002), pp. 123-163.
|
| |
In Handbook of Philosophical Logic (2nd ed.), Vol. 3 (2001), pp. 267-323.
|
| |
|
| |
In The Handbook of the History of Logic, Vol. 6 --- Logic and the Modalities in the Twentieth Century (2005), pp. 509-613.
posted to vemps by sgwyj
on 2009-02-02 12:13:41
as 
|
| |
In The Handbook of the History of Logic, Vol. 6 --- Logic and the Modalities in the Twentieth Century (2005), pp. 509-613.
|
| |
In Logics and Models of Concurrent Systems (1985)
|
| |
In What is a Logical System? (1994)
|
| |
In Temporal {L}ogics - {P}roceedings of the {F}irst {I}nternational {C}onference, Vol. 827 (1994), pp. 480-505.
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming (1995), pp. 175-240.
|
| |
|
| |
|
| |
|
| |
In Proceedings of FroCoS'96 (1996), pp. 1-56.
|
| |
Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods In Handbook of Logic in Computer Science: Vol 5: Logic and Algebraic Methods (2000), pp. 1-37.
|
| |
|
| |
|
| |
|
| |
In Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 1: Quantified Representation of Uncertainty and Imprecision (1998), pp. 367-389.
|
| |
In Handbook of Philosophical Logic (2nd ed.), Vol. 3 (2001), pp. 267-323.
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2 (1994)
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming (2) (1994), pp. 127-228.
|
| |
Proceedings of ICTL'94: The 1st International Conference on Temporal Logic In ICTL '94: Proceedings of the First International Conference on Temporal Logic (1994), pp. 445-479.
|
| |
In Handbook of Defeasible reasoning and uncertainty management systems, Vol. 3 (1998), pp. 265-309.
|
| |
Journal of the Interest Group in Pure and Applied Logics, Vol. 9 (2) (2001), pp. 157-190.
|
| |
In Handbook of Logic in Artificial Intelligence and Logic Programming. Volume~5: Logic Programming (1998), pp. 499-590.
|
| |
J. Logic Program., Vol. 1, No. 4. (1984), pp. 319-355.
|
| |
J. Logic Program., Vol. 2, No. 4. (1985), pp. 251-283.
|
| |
Logic journal of the IGPL, Vol. 8, No. 2. (1 March 2000), pp. 165-210.
|
| |
Logic Journal of the IGPL, Vol. 6, No. 1. (1 January 1998), pp. 73-146.
|
| |
Theoretical Linguistics, Vol. 1 (1974), pp. 140-157.
|
Search
