default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/synthese/synthese148.bht:"
download as .bib file
@article{DBLP:journals/synthese/BandyopadhyayB06,
author = {Prasanta S. Bandyopadhyay and
Gordon G. Brittan},
title = {Acceptibility, Evidence, and Severity},
journal = {Synth.},
volume = {148},
number = {2},
pages = {259--293},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6222-6},
doi = {10.1007/S11229-004-6222-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BandyopadhyayB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Bassler06,
author = {O. Bradley Bassler},
title = {The Surveyability of Mathematical Proof: {A} Historical Perspective},
journal = {Synth.},
volume = {148},
number = {1},
pages = {99--133},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6221-7},
doi = {10.1007/S11229-004-6221-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Bassler06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/BenthemHS06,
author = {Johan van Benthem and
Vincent F. Hendricks and
John Symons},
title = {Editorial},
journal = {Synth.},
volume = {148},
number = {1},
pages = {1--3},
year = {2006},
url = {https://doi.org/10.1007/s11229-005-5892-z},
doi = {10.1007/S11229-005-5892-Z},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/BenthemHS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Choi06,
author = {Sungho Choi},
title = {The Simple Vs. Reformed Conditional Analysis of Dispositions},
journal = {Synth.},
volume = {148},
number = {2},
pages = {369--379},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6229-z},
doi = {10.1007/S11229-004-6229-Z},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Choi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Contu06,
author = {Patrizio Contu},
title = {The Justification of the Logical Laws Revisited},
journal = {Synth.},
volume = {148},
number = {3},
pages = {573--588},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6270-y},
doi = {10.1007/S11229-004-6270-Y},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Contu06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Dosen06,
author = {Kosta Dosen},
title = {Models of Deduction},
journal = {Synth.},
volume = {148},
number = {3},
pages = {639--657},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6290-7},
doi = {10.1007/S11229-004-6290-7},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Dosen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Earman06,
author = {John Earman},
title = {Two Challenges to the Requirement of Substantive General Covariance},
journal = {Synth.},
volume = {148},
number = {2},
pages = {443--468},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6239-x},
doi = {10.1007/S11229-004-6239-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Earman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Fischer06,
author = {Eugen Fischer},
title = {Philosophical Pictures},
journal = {Synth.},
volume = {148},
number = {2},
pages = {469--501},
year = {2006},
url = {https://doi.org/10.1007/s11229-005-1007-0},
doi = {10.1007/S11229-005-1007-0},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Fischer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Glock06,
author = {Hans Johann Glock},
title = {Truth in the Tractatus},
journal = {Synth.},
volume = {148},
number = {2},
pages = {345--368},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6226-2},
doi = {10.1007/S11229-004-6226-2},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Glock06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Hallnas06,
author = {Lars Halln{\"{a}}s},
title = {On the Proof-theoretic Foundation of General Definition Theory},
journal = {Synth.},
volume = {148},
number = {3},
pages = {589--602},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6291-6},
doi = {10.1007/S11229-004-6291-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Hallnas06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Hansson06,
author = {Sven Ove Hansson},
title = {Category-specified Value Statements},
journal = {Synth.},
volume = {148},
number = {2},
pages = {425--432},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6236-0},
doi = {10.1007/S11229-004-6236-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Hansson06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Kahle06,
author = {Reinhard Kahle},
title = {A Proof-theoretic View of Necessity},
journal = {Synth.},
volume = {148},
number = {3},
pages = {659--673},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6293-4},
doi = {10.1007/S11229-004-6293-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Kahle06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/KahleS06,
author = {Reinhard Kahle and
Peter Schroeder{-}Heister},
title = {Introduction: Proof-theoretic Semantics},
journal = {Synth.},
volume = {148},
number = {3},
pages = {503--506},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6292-5},
doi = {10.1007/S11229-004-6292-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/KahleS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Laraudogoitia06,
author = {Jon P{\'{e}}rez Laraudogoitia},
title = {A Look at the Staccato Run},
journal = {Synth.},
volume = {148},
number = {2},
pages = {433--441},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6238-y},
doi = {10.1007/S11229-004-6238-Y},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Laraudogoitia06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Magnus06,
author = {P. D. Magnus},
title = {What's New about the New Induction?},
journal = {Synth.},
volume = {148},
number = {2},
pages = {295--301},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6223-5},
doi = {10.1007/S11229-004-6223-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Magnus06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Mints06,
author = {Grigori Mints},
title = {Notes on Constructive Negation},
journal = {Synth.},
volume = {148},
number = {3},
pages = {701--717},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6294-3},
doi = {10.1007/S11229-004-6294-3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Mints06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Moyer06,
author = {Mark Moyer},
title = {Statues and Lumps: {A} Strange Coincidence?},
journal = {Synth.},
volume = {148},
number = {2},
pages = {401--423},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6235-1},
doi = {10.1007/S11229-004-6235-1},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Moyer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Nathan06,
author = {Amos Nathan},
title = {Probability Dynamics},
journal = {Synth.},
volume = {148},
number = {1},
pages = {229--256},
year = {2006},
url = {https://doi.org/10.1007/s11229-005-0197-9},
doi = {10.1007/S11229-005-0197-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Nathan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Orilia06,
author = {Francesco Orilia},
title = {Quantum-mechanical Statistics and the Inclusivist Approach to the
Nature of Particulars},
journal = {Synth.},
volume = {148},
number = {1},
pages = {57--77},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6216-4},
doi = {10.1007/S11229-004-6216-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Orilia06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Pinedo06,
author = {Manuel de Pinedo},
title = {Anomalous Monism: Oscillating between Dogmas},
journal = {Synth.},
volume = {148},
number = {1},
pages = {79--97},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6218-2},
doi = {10.1007/S11229-004-6218-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Pinedo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Prawitz06,
author = {Dag Prawitz},
title = {Meaning Approached Via Proofs},
journal = {Synth.},
volume = {148},
number = {3},
pages = {507--524},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6295-2},
doi = {10.1007/S11229-004-6295-2},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Prawitz06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Predelli06,
author = {Stefano Predelli},
title = {The Problem with Token-reflexivity},
journal = {Synth.},
volume = {148},
number = {1},
pages = {5--29},
year = {2006},
url = {https://doi.org/10.1007/s11229-003-6194-y},
doi = {10.1007/S11229-003-6194-Y},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Predelli06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Rathjen06,
author = {Michael Rathjen},
title = {Theories and Ordinals in Proof Theory},
journal = {Synth.},
volume = {148},
number = {3},
pages = {719--743},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6297-0},
doi = {10.1007/S11229-004-6297-0},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Rathjen06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Reed06,
author = {Baron Reed},
title = {Shelter for the Cognitively Homeless},
journal = {Synth.},
volume = {148},
number = {2},
pages = {303--308},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6224-4},
doi = {10.1007/S11229-004-6224-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Reed06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Schirn06,
author = {Matthias Schirn},
title = {Hume's Principle and Axiom {V} Reconsidered: Critical Reflections
on Frege and His Interpreters},
journal = {Synth.},
volume = {148},
number = {1},
pages = {171--227},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-2829-x},
doi = {10.1007/S11229-004-2829-X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Schirn06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Schroeder-Heister06,
author = {Peter Schroeder{-}Heister},
title = {Validity Concepts in Proof-theoretic Semantics},
journal = {Synth.},
volume = {148},
number = {3},
pages = {525--571},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6296-1},
doi = {10.1007/S11229-004-6296-1},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Schroeder-Heister06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Sundholm06,
author = {G{\"{o}}ran Sundholm},
title = {Semantic Values for Natural Deduction Derivations},
journal = {Synth.},
volume = {148},
number = {3},
pages = {623--638},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6298-z},
doi = {10.1007/S11229-004-6298-Z},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Sundholm06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Tait06,
author = {William W. Tait},
title = {Proof-theoretic Semantics for Classical Mathematics},
journal = {Synth.},
volume = {148},
number = {3},
pages = {603--622},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6271-x},
doi = {10.1007/S11229-004-6271-X},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Tait06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Tomassi06,
author = {Paul Tomassi},
title = {Truth, Warrant and Superassertibility},
journal = {Synth.},
volume = {148},
number = {1},
pages = {31--56},
year = {2006},
url = {https://doi.org/10.1007/s11229-003-6227-6},
doi = {10.1007/S11229-003-6227-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Tomassi06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Usberti06,
author = {Gabriele Usberti},
title = {Towards a Semantics Based on the Notion of Justification},
journal = {Synth.},
volume = {148},
number = {3},
pages = {675--699},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6272-9},
doi = {10.1007/S11229-004-6272-9},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Usberti06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Weinstein06,
author = {Steven Weinstein},
title = {Superluminal Signaling and Relativity},
journal = {Synth.},
volume = {148},
number = {2},
pages = {381--399},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6231-5},
doi = {10.1007/S11229-004-6231-5},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Weinstein06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Zahn06,
author = {Peter Zahn},
title = {A Normative Model of Classical Reasoning in Higher Order Languages},
journal = {Synth.},
volume = {148},
number = {2},
pages = {309--343},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-6225-3},
doi = {10.1007/S11229-004-6225-3},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Zahn06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Zalabardo06,
author = {Jos{\'{e}} L. Zalabardo},
title = {Bonjour, Externalism and The Regress Problem},
journal = {Synth.},
volume = {148},
number = {1},
pages = {135--169},
year = {2006},
url = {https://doi.org/10.1007/s11229-004-2245-2},
doi = {10.1007/S11229-004-2245-2},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/synthese/Zalabardo06.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.
retrieved on 2024-09-26 01:27 CEST from data curated 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:
