Order: Listing date First author Impact Pub year Relevance Downloads
Order
Infinite Counting. AgneS Kurucz & Arrow Logic - forthcoming - Studia Logica . details
Kenneth Harris and Branden Fitelson/Comments on Some Completeness Theorems of Urquhart and Méndez & Salto 51–55 Dominic Gregory/Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actu. [REVIEW] Theodore Hailperin & Ontologically Neutral Logic - 2001 - Journal of Philosophical Logic 30 (1):617-618. details
Mathematical Logic. Arch Math Logic - 2003 - Archive for Mathematical Logic 42:563-568. details
The Ambivalence of Creation: Debates Concerning Innovation and Artifice in Early China. By Michael Puett. Stanford: Stanford University Press, 2001. Pp. Viii+ 299. Hardcover $55.00. Ancestors in Post-Contact Religion: Roots, Ruptures, and Modernity's Memory. Edited by Steven J. Friesen. Cambridge: Harvard University Press for the Center. [REVIEW] Indian Logic , A. Reader & Surrey Richmond - 2002 - Philosophy East and West 52 (4):501-503. details
What is Neologicism? Symbolic Logic - forthcoming - Bulletin of Symbolic Logic . details
Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx. Patrick Blackburn & Maarten Marx Hybrid Logic - 2001 - Journal of Symbolic Logic 66 (3):977-1010. details
Temporal Logic. Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy . details
Laura Giordano Iterated Belief Revision. Nicola Olivetti & Conditional Logic - 2002 - Studia Logica 70:23-47. details
Russell and MacColl: Reply to Grattan-Guinness, Wolen Ski, and Read. Modal Logic - 2001 - Nordic Journal of Philosophical Logic 6 (1):21-42. details
Table Des Matieres Editorial Preface 3. Jair Minoro Abe , Curry Algebras Pt , Paraconsistent Logic , Newton Ca da Costa , Otavio Bueno , Jacek Pasniczek , Beyond Consistent , Complete Possible Worlds , Vm Popov & Inverse Negation - 1998 - Logique Et Analyse 41:1. details
Classification Theory Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985. [REVIEW] J. T. Baldwin & U. Workshop on Model Theory in Mathematical Logic - 1987 details
Wise Choice on Dynamic Decision-Making Without Independence1. E. Ejerhed , S. Lindstrom & Action Logic - 1997 - In Eva Ejerhed & Sten Lindström (eds.), Logic, Action, and Cognition: Essays in Philosophical Logic . Kluwer Academic. pp. 2--97. details
Proceedings of the Tarski Symposium an International Symposium Held to Honor Alfred Tarski on the Occasion of His Seventieth Birthday. Leon Henkin , Alfred Tarski & Association for Symbolic Logic - 1974 details
Afterthoughts. Philosophical Logic - 1989 - In John Perry, J. Almog & Howard K. Wettstein (eds.), Themes From Kaplan . Oxford University Press. details
Arthur Nieuwendijk. Navya-Nyaya Logic - 1992 - Journal of Indian Philosophy 20:377-418. details
Anna Zalewska an Application of Mizar Mse in a Course in Logic. A. Course In Logic - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic . M. Nijhoff. pp. 224. details
Boston Colloquium for the Philosophy of Science. [REVIEW] What is Elementary Logic - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22:201-204. details
David Bostock. On Motivating Higher-Order Logic - 2004 - In T. J. Smiley & Thomas Baldwin (eds.), Studies in the Philosophy of Logic and Knowledge . Published for the British Academy by Oxford University Press. details
For the Most Clearly Understood Models of (I) Belief,(Ii) How the Impact of Sensory Experience Changes Belief, and (Hi) How Beliefs Together with Desires Influence Actions. Meaning Logic - 1983 - In Alex Orenstein & Rafael Stern (eds.), Developments in Semantics . Haven. pp. 2--221. details
Ian I-Iacking. Linguistically Invariant Inductive Logic - 1970 - In Paul Weingartner & Gerhard Zecha (eds.), Induction, Physics, and Ethics . Dordrecht: Reidel. details
Juliet Flower MacCannell. Monstrous Logic - 2004 - In Sinkwan Cheng (ed.), Law, Justice, and Power: Between Reason and Will . Stanford University Press. pp. 240. details
L86, L93, 203,236. Predicate Logic - 2003 - In Jaroslav Peregrin (ed.), Meaning: The Dynamic Turn . Elsevier Science. pp. 12--65. details
Marfa-Luisa Rivero. Antecedents of Contemporary Logical & Linguistic Analyses in Scholastic Logic - 1973 - Foundations of Language 10:55. details
Pairs of Negative Syllogistic Premises Yielding Conclusions. Aristotelian Logic - forthcoming - Logique Et Analyse . details
Richard C. Jeffrey. Carnap'S. Inductive Logic - 1975 - In Jaakko Hintikka (ed.), Rudolf Carnap, Logical Empiricist: Materials and Perspectives . D. Reidel Pub. Co.. pp. 73--325. details
Storage Operators and Second Order Lambda-Calculs. J. -L. Krivine Classical Logic - 1994 - Annals of Pure and Applied Logic 68:53-78. details
94 the Question of Grammar in Logical Inx'estigations. Later Developments In Logic - 2003 - In Anna-Teresa Tymieniecka (ed.), Phenomenology World-Wide . Kluwer Academic Publishers. pp. 94. details
The Required Correction to Copi's Statement of Ug. Symbolic Logic - 1966 - Logique Et Analyse 33:267. details
Wesley C. Salmon. Inductive Logic - 1969 - In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel . Reidel. pp. 24--47. details
William S. Hatcher. I. Prologue on Mathematical Logic - 1973 - In Mario Augusto Bunge (ed.), Exact Philosophy; Problems, Tools, and Goals . Boston: D. Reidel. pp. 83. details
Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW] M. Nielsen , Wolfgang Thomas & European Association for Computer Science Logic - 1998 details
Dagfinn F0llesdal. Referential Opacity & Modal Logic - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its Origins . Kluwer Academic Publishers. pp. 270--181. details
Philosophy of Science, History of Science a Selection of Contributed Papers of the 7th International Congress of Logic, Methodology and Philosophy of Science, Salzburg, 1983. C. Pühringer , Paul Weingartner & Methodology and Philosophy of Science International Congress of Logic - 1984 - A. Hain. details
The Interpretation of Two Systems of Modal Logic. A. N. Prior & Institute of Applied Logic - 1954 - Institute of Applied Logic. details
Computer Science Logic: 10th International Workshop, Csl '96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21 - 27, 1996, Selected Papers. [REVIEW] D. van Dalen , M. Bezem & European Association for Computer Science Logic - 1997 - Springer Verlag. details
Logic Colloquium '80 Papers Intended for the European Summer Meeting of the Association for Symbolic Logic. D. van Dalen , Daniel Lascar , T. J. Smiley & Association for Symbolic Logic - 1982 details
Section 2. Model Theory. Va Vardanyan , On Provability Resembling Computability , Proving Aa Voronkov & Constructive Logic - 1989 - In Jens Erik Fenstad, Ivan Timofeevich Frolov & Risto Hilpinen (eds.), Logic, Methodology, and Philosophy of Science Viii: Proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 . Sole Distributors for the U.S.A. And Canada, Elsevier Science. details
Dirk Batens, Editorial Note 3 Andrzej Wisniewski, Questions and Inferences 5 Diderik Batens, a General Characterization of Adaptive Logics. 45 Mariusz Urbanski, Synthetic Tableaux and Erotetic Search Scenarios: Extension and Extraction 69. [REVIEW] Liza Verhoeven , All Premises Are Equal , But Some Are More , Erik Weber , Maarten van Dyck & Adaptive Logic - 2001 - Logique Et Analyse 44:1. details
1 NATO Science Committee Fakultat fiir Informatik, Technische Universitgt Mijnchen. M. Wirsing , Jp Jouannoud , A. Scedrov & Bounded Linear Logic - 1993 - Annals of Pure and Applied Logic 60:89. details
Paul Redding. Transcendental Logic & Sally Sedgwick - 1991 - The Monist 74 (3):403-421. details
A Comparison Between Two Different Tarski-Style Semantics for Linear Logic. Linear Logic & M. Piazza - 1994 - Epistemologia 17 (1):101-116. details
Motion and the Dialectical View of the World. in Formal Logic - 1990 - Studies in Soviet Thought 39:241-255. details
Review of Symbolic Logic. [REVIEW] Symbolic Logic - 2008 - Bulletin of Symbolic Logic 14 (3):276. details
International Union of History and Philosophy of Science Uppsala University. Methodology Logic - 1990 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 21:401-403. details
1.1. The Logistic Method. Church's Writings on Philosophical Matters Ex-Hibit an Unwavering Commitment to What He Called the “Logistic Method”. 3 The Term Did Not Catch on and Now One Would Just Speak of “Formalization”. The Use of These Ideas is Now so Common and Familiar Among Logicians. [REVIEW] Intensional Logic - 1998 - Bulletin of Symbolic Logic 4 (2). details
European Summer Meeting of the Association for Symbolic Logic Logic Colloquium'93. Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490. details
Notice of Books Received. [REVIEW] Informal Logic - 2022 - Informal Logic 42 (1):343-357. details
Aristotelovská verzus stoická logika. J. BAŇAS & Aristotelian Versus Stoic Logic - 2003 - Filozofia 58 (8):551. details
In the Following Pages Are to Be Found Sixteen of the Forty Papers Delivered at the Ontario Society for the Study of Argumentation (OSSA) Conference Held at Brock University, St. Catharines, Ontario in May of 1995. Most of the Papers Have Been Revised in Light of Comments Raised at the Conference and by Referees for These" Proceedings". [REVIEW] Informal Logic - 1995 - Informal Logic 17 (2):123-126. details
Philosophical Abstracts. Dispositions Laws & Sortal Logic - 1982 - American Philosophical Quarterly 19 (1). details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed