Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Review of Symbolic Logic, Volume 7
Volume 7, Number 1, March 2014
- Philip D. Welch
:
Some observations on Truth Hierarchies. 1-30 - Fabrice Correia:
Logical grounds. 31-59 - Grigory K. Olkhovikov, Peter Schroeder-Heister:
On Flattening Elimination Rules. 60-72 - Thomas Schindler:
Axioms for Grounded Truth. 73-83 - Sean Walsh:
Logicism, interpretability, and Knowledge of Arithmetic. 84-119 - Hanoch Ben-Yami:
The Quantified Argument Calculus. 120-146 - Hartry Field:
Naive Truth and Restricted Quantification: Saving Truth a whole lot Better. 147-191
Volume 7, Number 2, June 2014
- Francesco Berto:
Absolute Contradiction, dialetheism, and Revenge. 193-207 - Louwe B. Kuijer:
The Expressivity of Factual Change in Dynamic Epistemic Logic. 208-221 - Penelope Maddy:
A second Philosophy of Arithmetic. 222-249 - Nissim Francez:
Bilateral Relevant Logic. 250-272 - Johannes Stern:
Modality and Axiomatic Theories of Truth I: Friedman-Sheard. 273-298 - Johannes Stern:
Modality and Axiomatic Theories of Truth II: Kripke-Feferman. 299-318 - Martin Fischer:
Truth and Speed-up. 319-340 - Nick Thomas:
Expressive Limitations of naïve Set Theory in LP and minimally Inconsistent LP. 341-350 - Elia Zardini:
Naive Truth and Naive Logical Properties. 351-384
Volume 7, Number 3, September 2014
- Peter Fritz:
What is the Correct Logic of Necessity, actuality and apriority? 385-414 - Ronnie Hermens:
Placing Probabilities of Conditionals in Context. 415-438 - Philip Kremer:
Quantified Modal Logic on the Rational Line. 439-454 - Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono:
Uniform interpolation in Substructural Logics. 455-483 - Lawrence C. Paulson:
A Machine-Assisted Proof of Gödel's Incompleteness theorems for the Theory of Hereditarily Finite Sets. 484-498 - Owen Griffiths:
Harmonious Rules for Identity. 499-510 - Michael Schippers:
Incoherence and Inconsistency. 511-528 - Stephan Leuenberger:
Total Logic. 529-547 - Walter Alexandre Carnielli, Marcelo E. Coniglio, Rodrigo Podiacki, Tarcísio Rodrigues:
On the Way to a wider Model Theory: Completeness theorems for First-order Logics of Formal Inconsistency. 548-578 - Michael Schippers:
Structural Properties of Qualitative and Quantitative Accounts to Coherence. 579-598
- Stephan Leuenberger:
Total Logic-ERRATUM. 599
Volume 7, Number 4, December 2014
- Lucas Rosenblatt, Damián Enrique Szmuc:
On pathological Truths. 601-617 - Edwin J. Beggs, José Félix Costa, John V. Tucker:
Three Forms of Physical Measurement and their Computability. 618-646 - Edwin D. Mares:
Belief Revision, Probabilism, and Logic Choice. 647-670 - Volker Halbach, Albert Visser:
Self-Reference in Arithmetic I. 671-691 - Volker Halbach, Albert Visser:
Self-Reference in Arithmetic II. 692-712 - Louis deRosset:
On Weak Ground. 713-744
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:27 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:
