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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.