Search dblp for Publications

export results for "toc:db/journals/synthese/synthese164.bht:"

 download as .bib file

@article{DBLP:journals/synthese/BaumgartnerL08,
  author       = {Michael Baumgartner and
                  Timm Lampert},
  title        = {Adequate formalization},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {93--115},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9218-1},
  doi          = {10.1007/S11229-007-9218-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/BaumgartnerL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Benthem08,
  author       = {Johan van Benthem},
  title        = {The many faces of interpolation},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {451--460},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9351-5},
  doi          = {10.1007/S11229-008-9351-5},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Benthem08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Cameron08,
  author       = {Ross Paul Cameron},
  title        = {Truthmakers and modality},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {261--280},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9225-2},
  doi          = {10.1007/S11229-007-9225-2},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Cameron08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Craig08,
  author       = {William Craig},
  title        = {Elimination problems in logic: a brief history},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {321--332},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9352-4},
  doi          = {10.1007/S11229-008-9352-4},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Craig08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Craig08a,
  author       = {William Craig},
  title        = {The road to two theorems of logic},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {333--339},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9353-3},
  doi          = {10.1007/S11229-008-9353-3},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Craig08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/DAgostino08,
  author       = {Giovanna D'Agostino},
  title        = {Interpolation in non-classical logics},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {421--435},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9359-x},
  doi          = {10.1007/S11229-008-9359-X},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/DAgostino08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Demopoulos08,
  author       = {William Demopoulos},
  title        = {Some remarks on the bearing of model theory on the theory of theories},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {359--383},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9355-1},
  doi          = {10.1007/S11229-008-9355-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Demopoulos08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Douven08,
  author       = {Igor Douven},
  title        = {The evidential support theory of conditionals},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {19--44},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9214-5},
  doi          = {10.1007/S11229-007-9214-5},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Douven08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/DraperP08,
  author       = {Kai Draper and
                  Joel Pust},
  title        = {Diachronic Dutch Books and Sleeping Beauty},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {281--287},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9226-1},
  doi          = {10.1007/S11229-007-9226-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/DraperP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Feferman08,
  author       = {Solomon Feferman},
  title        = {Harmonious logic: Craig's interpolation theorem and its descendants},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {341--357},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9354-2},
  doi          = {10.1007/S11229-008-9354-2},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Feferman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Friedman08,
  author       = {Michael Friedman},
  title        = {\emph{Wissenschaftslogik} : The role of logic in the philosophy of
                  science},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {385--400},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9356-0},
  doi          = {10.1007/S11229-008-9356-0},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Friedman08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Guevara08,
  author       = {Daniel Guevara},
  title        = {Rebutting formally valid counterexamples to the Humean "is-ought"
                  dictum},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {45--60},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9215-4},
  doi          = {10.1007/S11229-007-9215-4},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Guevara08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Hobson08,
  author       = {Kenneth Hobson},
  title        = {Foundational beliefs and the structure of justification},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {117--139},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9219-0},
  doi          = {10.1007/S11229-007-9219-0},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Hobson08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Lavalette08,
  author       = {Gerard R. Renardel de Lavalette},
  title        = {Interpolation in computing science: the semantics of modularization},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {437--450},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9358-y},
  doi          = {10.1007/S11229-008-9358-Y},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Lavalette08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Mancosu08,
  author       = {Paolo Mancosu},
  title        = {Introduction: Interpolations - Essays in honor of William Craig},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {313--319},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9350-6},
  doi          = {10.1007/S11229-008-9350-6},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Mancosu08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/McCain08,
  author       = {Kevin McCain},
  title        = {The virtues of epistemic conservatism},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {185--200},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9222-5},
  doi          = {10.1007/S11229-007-9222-5},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/McCain08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/MullerBK08,
  author       = {Thomas M{\"{u}}ller and
                  Nuel Belnap and
                  Kohei Kishida},
  title        = {Funny business in branching space-times: infinite modal correlations},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {141--159},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9220-7},
  doi          = {10.1007/S11229-007-9220-7},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/MullerBK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Pagin08,
  author       = {Peter Pagin},
  title        = {Indeterminacy and the analytic/synthetic distinctions: a survey},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {1--18},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9213-6},
  doi          = {10.1007/S11229-007-9213-6},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Pagin08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Pelling08,
  author       = {Charles Pelling},
  title        = {Exactness, inexactness, and the non-transitivity of perceptual indiscriminability},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {289--312},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9227-0},
  doi          = {10.1007/S11229-007-9227-0},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Pelling08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Raftopoulos08,
  author       = {Athanasios Raftopoulos},
  title        = {Perceptual systems and realism},
  journal      = {Synth.},
  volume       = {164},
  number       = {1},
  pages        = {61--91},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9216-3},
  doi          = {10.1007/S11229-007-9216-3},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Raftopoulos08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Reydon08,
  author       = {Thomas A. C. Reydon},
  title        = {Species in three and four dimensions},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {161--184},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9221-6},
  doi          = {10.1007/S11229-007-9221-6},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Reydon08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Schurz08,
  author       = {Gerhard Schurz},
  title        = {Patterns of abduction},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {201--234},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9223-4},
  doi          = {10.1007/S11229-007-9223-4},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Schurz08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Vaananen08,
  author       = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
  title        = {The Craig Interpolation Theorem in abstract model theory},
  journal      = {Synth.},
  volume       = {164},
  number       = {3},
  pages        = {401--420},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-008-9357-z},
  doi          = {10.1007/S11229-008-9357-Z},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Vaananen08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/synthese/Williams08a,
  author       = {John Robert Gareth Williams},
  title        = {Gavagai again},
  journal      = {Synth.},
  volume       = {164},
  number       = {2},
  pages        = {235--259},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11229-007-9224-3},
  doi          = {10.1007/S11229-007-9224-3},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Williams08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.