default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica, Volume 85
Volume 85, Number 1, February 2007
- Marta Bílková
:
Uniform Interpolation and Propositional Quantifiers in Modal Logics. 1-31 - Loïc Colson:
Another Paradox In Naive Set-Theory. 33-39 - Daniel Gâinâ, Andrei Popescu:
An Institution-Independent Proof of the Robinson Consistency Theorem. 41-73 - Oliver Kutz:
Notes on Logics of Metric Spaces. 75-104 - Urszula Wybraniec-Skardowska:
Meaning and Interpretation. I. 105-132 - Robert van Rooij:
The Stag Hunt and the Evolution of Social Structure. 133-138
Volume 85, Number 2, March 2007
- Tarek Sayed Ahmed:
A Note on Neat Reducts. 139-151 - Barbara Dziemidowicz-Gryz:
On Learnability of Restricted Classes of Categorial Grammars. 153-169 - Lou Goble:
Combinatory Logic and the Semantics of Substructural Logics. 171-197 - Phiniki Stouppa:
A Deep Inference System for the Modal Logic S5. 199-214 - George Voutsadakis:
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity. 215-249 - Xuefeng Wen:
A Propositional Logic with Relative Identity Connective and a Partial Solution to the Paradox of Analysis. 251-260 - Urszula Wybraniec-Skardowska:
Meaning and Interpretation. II. 261-274 - Melvin Fitting:
Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. 275 - Roy Cook:
Book Reviews. 277-281
Volume 85, Number 3, April 2007
- Joanna Golinska-Pilarek, Ewa Orlowska:
Tableaux and Dual Tableaux: Transformation of Proofs. 283-302 - Yutaka Miyazaki:
Kripke Incomplete Logics Containing KTB. 303-317 - Sebastiaan Terwijn:
Kripke Models, Distributive Lattices, and Medvedev Degrees. 319-332 - Marc Aiguier, Fabrice Barbier:
An Institution-independent Proof of the Beth Definability Theorem. 333-359 - Katarzyna Gajewska-Kurdziel, Krystyna Mruczek-Nasieniewska:
The Lattice of Subvarieties of the Variety Defined by Externally Compatible Identities of Abelian Groups of Exponent n. 361-379 - Yutaka Miyazaki:
A Splitting Logic in NExt(KTB). 381-394 - Claudio E. A. Pizzi:
Necessity and Relative Contingency. 395-410 - Igor Kozine:
Joseph Y. Halpern, Reasoning about uncertainty. 411-412 - Anders Søgaard:
Patrick Blackburnand Johan Bos, Representation and Inference for Natural Language. 413-418 - Reinhard Kahle:
Edwin D. Mares, Relevant Logic - A Philosophical Interpretation. 419-424 - Andrew David Irvine:
John Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. 425-428
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-24 21:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
