default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 3
Volume 3, Number 1, March 2010
- Dustin Tucker:
Intensionality and Paradoxes in Ramsey's 'the Foundations of Mathematics'. 1-25 - Guram Bezhanishvili, Leo Esakia, David Gabelaia:
The Modal Logic of Stone Spaces: diamond as derivative. 26-40 - Roger D. Maddux
:
Relevance Logic and the Calculus of Relations. 41-70 - Zach Weber:
Transfinite numbers in Paraconsistent Set Theory. 71-92 - Dirk Schlimm:
Pasch's Philosophy of Mathematics. 93-118 - Mihai Ganea:
Two (or three) Notions of finitism. 119-144 - Joop Leo:
Modeling Occurrences of Objects in Relations. 145-174
Volume 3, Number 2, June 2010
- Peter Milne:
Subformula and separation Properties in Natural Deduction via Small Kripke Models. 175-227 - Krister Segerberg:
Some Completeness theorems in the Dynamic Doxastic Logic of Iterated Belief Revision. 228-246 - Ian M. Hodkinson, Hicham Tahiri:
A Bisimulation characterization Theorem for Hybrid Logic with the current-State Binder. 247-261 - Klaus Glashoff:
An Intensional Leibniz Semantics for Aristotelian Logic. 262-272 - Petr Hájek:
Some (non)tautologies of łukasiewicz and Product Logic. 273-278 - Ian M. Hodkinson:
The Bounded Fragment and Hybrid Logic with Polyadic Modalities. 279-286 - David P. Ellerman:
The Logic of Partitions: Introduction to the Dual of the Logic of Subsets. 287-350
Volume 3, Number 3, September 2010
- Mehrnoosh Sadrzadeh, Roy Dyckhoff:
Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information. 351-373 - Philippe Schlenker:
Super Liars. 374-414 - Merlijn Sevenster:
Decidability of Independence-Friendly Modal Logic. 415-441 - Gemma Robles, José M. Méndez:
Paraconsistent Logics Included in Lewis' S4. 442-466 - Richard Dietz, Igor Douven:
Ramsey's Test, Adams' Thesis, and Left-Nested Conditionals. 467-484 - Loes Olde Loohuis, Yde Venema:
Logics and Algebras for Multiple Players. 485-519
Volume 3, Number 4, December 2010
- Stefano Borgo, Claudio Masolo:
Full Mereogeometries. 521-567 - Lucius Schoenbaum:
On the Syntax of Logic and Set Theory. 568-599 - Katsumi Sasaki:
Formulas in Modal Logic S4. 600-627 - Daniel J. Hill, Stephen K. McLeod:
On Truth-Functionality. 628-632 - Kevin C. Klement:
The Functions of Russell's no class Theory. 633-664 - Solomon Feferman, Thomas Strahm:
Unfolding Finitist Arithmetic. 665-689
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-04-27 18:02 CEST 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:
