Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 17
Volume 17, Number 1, February 1988
- Mark A. Brown:
On the logic of ability. 1-26 - Kit Fine:
Semantics for quantified relevance logic. 27-59 - Timothy McCarthy:
Ungroundedness in classical languages. 61-74 - Colin McLarty:
Defining sets as sets of points of spaces. 75-90
Volume 17, Number 2, May 1988
- John Bacon:
Four modal modelings. 91-114 - David Ballard:
Combinatory completeness without classical equality. 115-132 - Alexander George:
The conveyability of intuitionism, an essay on mathematical cognition. 133-156 - Adam Grove:
Two modellings for theory change. 157-170 - Zbigniew Stachniak:
Two theorems on many-valued logics. 171-179 - Ming Xu:
On some U, S-tense logics. 181-202
Volume 17, Number 3, August 1988
- John F. Halpin:
Indeterminism, indeterminateness, and tense logic. 207-219 - Lloyd Humberstone
:
The lattice of extensional connectives: A correction. 221-223 - Michael Kremer:
Kripke and the logic of truth. 225-278 - José M. Méndez:
The compatibility of relevance and mingle. 279-297 - Timothy Williamson:
Assertion, denial and some cancellation rules in modal logic. 299-318
Volume 17, Number 4, November 1988
- Richmond Thomason:
Philosophical logic and artificial intelligence. 321-327 - Ronald Fagin, Joseph Y. Halpern:
I'm OK if you're OK: On the notion of trusting communication. 329-354 - Hector J. Levesque:
Logic and the complexity of reasoning. 355-389 - Vladimir Lifshitz:
Circumscriptive theories: A logic-based framework for knowledge representation. 391-441 - Yoav Shoham:
Efficient reasoning about rich temporal domains. 443-474
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.
last updated on 2024-04-25 05:28 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:
