Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Philosophical Logic, Volume 36
Volume 36, Number 1, February 2007
- Lloyd Humberstone
:
Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness. 1-32 - Enrique Casanovas:
Logical Operations and Invariance. 33-60 - Wayne Aitken, Jeffrey A. Barrett:
Stability and Paradox in Algorithmic Logic. 61-95 - Martin Smith:
Ceteris Paribus Conditionals and Comparative Normalcy. 97-121
Volume 36, Number 2, April 2007
- Rick Nouwen:
On Dependent Pronouns and Dynamic Semantics. 123-154 - Susan Rogerson:
Natural Deduction and Curry's Paradox. 155-179 - Hannes Leitgeb:
A New Analysis of Quasianalysis. 181-226 - Branden Fitelson, Edward N. Zalta:
Steps Toward a Computational Metaphysics. 227-247 - Lloyd Humberstone:
Identical Twins, Deduction Theorems, and Pattern Functions: Exploring the Implicative BCSK Fragment of S5. 249
Volume 36, Number 3, June 2007
- Philippe Schlenker:
The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth. 251-307 - Pawel Garbacz:
A First Order Theory of Functional Parthood. 309-337 - Liza Verhoeven:
The Relevance of a Relevantly Assertable Disjunction for Material Implication. 339-366
Volume 36, Number 4, August 2007
- John F. Horty:
Defaults with Priorities. 367-413 - Chris Reed, Timothy J. Norman:
A Formal Characterisation of Hamblin's Action-State Semantics. 415-448 - Fred Kronz:
Non-monotonic Probability Theory and Photon Polarization. 449-472 - Fabrice Correia:
Modality, Quantification, and Many Vlach-Operators. 473-488
Volume 36, Number 5, October 2007
- Paulo A. S. Veloso, Renata P. de Freitas, Jorge Petrucio Viana, Mario R. F. Benevides, Sheila R. M. Veloso:
On Fork Arrow Logic and its Expressive Power. 489-509 - Franz Huber:
The Logic of Theory Assessment. 511-538 - Massimiliano Carrara, Elisabetta Sacchi:
Cardinality and Identity. 539-556 - Katalin Bimbó:
LEt ® , LR °[^( ~ )], LK and Cutfree Proofs. 557-570 - Max A. Freund:
A Two Dimensional Tense-modal Sortal Logic. 571-598 - Kent Hurtig:
On Prima Facie Obligations and Nonmonotonicity. 599-604
Volume 36, Number 6, December 2007
- Lawrence S. Moss:
Finite Models Constructed from Canonical Formulars. 605-640 - Lidia Obojska:
"Primary Relations" In a New Foundational Axiomatic Framework. 641-657 - Patrick Allo:
Logical Pluralism and Semantic Information. 659-694 - Cezary Cieslinski:
Deflationism, Conservativeness and Maximality. 695-705 - Giangiacomo Gerla:
Point-Free Geometry and Verisimilitude of Theories. 707-733 - Chris J. Nix, Jeff B. Paris:
A Note on Binary Inductive Logic. 735-771
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-06-28 23:33 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:
