Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jphil/jphil17.bht:"
download as .bib file
@article{DBLP:journals/jphil/Bacon88,
author = {John Bacon},
title = {Four modal modelings},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {91--114},
year = {1988},
url = {https://doi.org/10.1007/BF00247906},
doi = {10.1007/BF00247906},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Bacon88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Ballard88,
author = {David Ballard},
title = {Combinatory completeness without classical equality},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {115--132},
year = {1988},
url = {https://doi.org/10.1007/BF00247907},
doi = {10.1007/BF00247907},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Ballard88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Brown88,
author = {Mark A. Brown},
title = {On the logic of ability},
journal = {J. Philos. Log.},
volume = {17},
number = {1},
pages = {1--26},
year = {1988},
url = {https://doi.org/10.1007/BF00249673},
doi = {10.1007/BF00249673},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Brown88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/FaginH88,
author = {Ronald Fagin and
Joseph Y. Halpern},
title = {I'm {OK} if you're {OK:} On the notion of trusting communication},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {329--354},
year = {1988},
url = {https://doi.org/10.1007/BF00297510},
doi = {10.1007/BF00297510},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/FaginH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Fine88,
author = {Kit Fine},
title = {Semantics for quantified relevance logic},
journal = {J. Philos. Log.},
volume = {17},
number = {1},
pages = {27--59},
year = {1988},
url = {https://doi.org/10.1007/BF00249674},
doi = {10.1007/BF00249674},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Fine88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/George88,
author = {Alexander George},
title = {The conveyability of intuitionism, an essay on mathematical cognition},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {133--156},
year = {1988},
url = {https://doi.org/10.1007/BF00247908},
doi = {10.1007/BF00247908},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/George88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Grove88,
author = {Adam Grove},
title = {Two modellings for theory change},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {157--170},
year = {1988},
url = {https://doi.org/10.1007/BF00247909},
doi = {10.1007/BF00247909},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Grove88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Halpin88,
author = {John F. Halpin},
title = {Indeterminism, indeterminateness, and tense logic},
journal = {J. Philos. Log.},
volume = {17},
number = {3},
pages = {207--219},
year = {1988},
url = {https://doi.org/10.1007/BF00247952},
doi = {10.1007/BF00247952},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Halpin88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Humberstone88,
author = {Lloyd Humberstone},
title = {The lattice of extensional connectives: {A} correction},
journal = {J. Philos. Log.},
volume = {17},
number = {3},
pages = {221--223},
year = {1988},
url = {https://doi.org/10.1007/BF00247953},
doi = {10.1007/BF00247953},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Humberstone88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kremer88,
author = {Michael Kremer},
title = {Kripke and the logic of truth},
journal = {J. Philos. Log.},
volume = {17},
number = {3},
pages = {225--278},
year = {1988},
url = {https://doi.org/10.1007/BF00247954},
doi = {10.1007/BF00247954},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Kremer88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Levesque88,
author = {Hector J. Levesque},
title = {Logic and the complexity of reasoning},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {355--389},
year = {1988},
url = {https://doi.org/10.1007/BF00297511},
doi = {10.1007/BF00297511},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Levesque88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Lifshitz88,
author = {Vladimir Lifshitz},
title = {Circumscriptive theories: {A} logic-based framework for knowledge
representation},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {391--441},
year = {1988},
url = {https://doi.org/10.1007/BF00297512},
doi = {10.1007/BF00297512},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Lifshitz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/McCarthy88,
author = {Timothy McCarthy},
title = {Ungroundedness in classical languages},
journal = {J. Philos. Log.},
volume = {17},
number = {1},
pages = {61--74},
year = {1988},
url = {https://doi.org/10.1007/BF00249675},
doi = {10.1007/BF00249675},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/McCarthy88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/McLarty88,
author = {Colin McLarty},
title = {Defining sets as sets of points of spaces},
journal = {J. Philos. Log.},
volume = {17},
number = {1},
pages = {75--90},
year = {1988},
url = {https://doi.org/10.1007/BF00249676},
doi = {10.1007/BF00249676},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/McLarty88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Mendez88,
author = {Jos{\'{e}} M. M{\'{e}}ndez},
title = {The compatibility of relevance and mingle},
journal = {J. Philos. Log.},
volume = {17},
number = {3},
pages = {279--297},
year = {1988},
url = {https://doi.org/10.1007/BF00247955},
doi = {10.1007/BF00247955},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Mendez88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Shoham88,
author = {Yoav Shoham},
title = {Efficient reasoning about rich temporal domains},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {443--474},
year = {1988},
url = {https://doi.org/10.1007/BF00297513},
doi = {10.1007/BF00297513},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Shoham88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Stachniak88,
author = {Zbigniew Stachniak},
title = {Two theorems on many-valued logics},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {171--179},
year = {1988},
url = {https://doi.org/10.1007/BF00247910},
doi = {10.1007/BF00247910},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Stachniak88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Thomason88,
author = {Richmond Thomason},
title = {Philosophical logic and artificial intelligence},
journal = {J. Philos. Log.},
volume = {17},
number = {4},
pages = {321--327},
year = {1988},
url = {https://doi.org/10.1007/BF00297509},
doi = {10.1007/BF00297509},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Thomason88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Williamson88,
author = {Timothy Williamson},
title = {Assertion, denial and some cancellation rules in modal logic},
journal = {J. Philos. Log.},
volume = {17},
number = {3},
pages = {299--318},
year = {1988},
url = {https://doi.org/10.1007/BF00247956},
doi = {10.1007/BF00247956},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Williamson88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Xu88,
author = {Ming Xu},
title = {On some \emph{U, S}-tense logics},
journal = {J. Philos. Log.},
volume = {17},
number = {2},
pages = {181--202},
year = {1988},
url = {https://doi.org/10.1007/BF00247911},
doi = {10.1007/BF00247911},
timestamp = {Thu, 21 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/Xu88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-07-18 02: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:
