2014 share record
persistent URL:
Thomas Schindler : Axioms for Grounded Truth. Rev. Symb. Log. 7 (1 ) : 73-83 (2014 )export record
dblp key:
journals/rsl/AlizadehDO14 share record
persistent URL:
Majid Alizadeh , Farzaneh Derakhshan , Hiroakira Ono : Uniform interpolation in Substructural Logics. Rev. Symb. Log. 7 (3 ) : 455-483 (2014 )share record
persistent URL:
Edwin J. Beggs , José Félix Costa , John V. Tucker : Three Forms of Physical Measurement and their Computability. Rev. Symb. Log. 7 (4 ) : 618-646 (2014 )share record
persistent URL:
Hanoch Ben-Yami : The Quantified Argument Calculus. Rev. Symb. Log. 7 (1 ) : 120-146 (2014 )share record
persistent URL:
Francesco Berto : Absolute Contradiction, dialetheism, and Revenge. Rev. Symb. Log. 7 (2 ) : 193-207 (2014 )export record
dblp key:
journals/rsl/CarnielliCPR14 share record
persistent URL:
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. Rev. Symb. Log. 7 (3 ) : 548-578 (2014 )share record
persistent URL:
Fabrice Correia : Logical grounds. Rev. Symb. Log. 7 (1 ) : 31-59 (2014 )share record
persistent URL:
Hartry Field : Naive Truth and Restricted Quantification: Saving Truth a whole lot Better. Rev. Symb. Log. 7 (1 ) : 147-191 (2014 )share record
persistent URL:
Martin Fischer : Truth and Speed-up. Rev. Symb. Log. 7 (2 ) : 319-340 (2014 )share record
persistent URL:
Nissim Francez : Bilateral Relevant Logic. Rev. Symb. Log. 7 (2 ) : 250-272 (2014 )share record
persistent URL:
Peter Fritz : What is the Correct Logic of Necessity, actuality and apriority? Rev. Symb. Log. 7 (3 ) : 385-414 (2014 )share record
persistent URL:
Owen Griffiths : Harmonious Rules for Identity. Rev. Symb. Log. 7 (3 ) : 499-510 (2014 )share record
persistent URL:
Volker Halbach , Albert Visser : Self-Reference in Arithmetic I. Rev. Symb. Log. 7 (4 ) : 671-691 (2014 )share record
persistent URL:
Volker Halbach , Albert Visser : Self-Reference in Arithmetic II. Rev. Symb. Log. 7 (4 ) : 692-712 (2014 )share record
persistent URL:
Ronnie Hermens : Placing Probabilities of Conditionals in Context. Rev. Symb. Log. 7 (3 ) : 415-438 (2014 )share record
persistent URL:
Philip Kremer : Quantified Modal Logic on the Rational Line. Rev. Symb. Log. 7 (3 ) : 439-454 (2014 )share record
persistent URL:
Louwe B. Kuijer : The Expressivity of Factual Change in Dynamic Epistemic Logic. Rev. Symb. Log. 7 (2 ) : 208-221 (2014 )export record
dblp key:
journals/rsl/Leuenberger14 share record
persistent URL:
Stephan Leuenberger : Total Logic. Rev. Symb. Log. 7 (3 ) : 529-547 (2014 )export record
dblp key:
journals/rsl/Leuenberger14a share record
persistent URL:
Stephan Leuenberger : Total Logic-ERRATUM. Rev. Symb. Log. 7 (3 ) : 599 (2014 )share record
persistent URL:
Penelope Maddy : A second Philosophy of Arithmetic. Rev. Symb. Log. 7 (2 ) : 222-249 (2014 )share record
persistent URL:
Edwin D. Mares : Belief Revision, Probabilism, and Logic Choice. Rev. Symb. Log. 7 (4 ) : 647-670 (2014 )export record
dblp key:
journals/rsl/OlkhovikovS14 share record
persistent URL:
Grigory K. Olkhovikov , Peter Schroeder-Heister : On Flattening Elimination Rules. Rev. Symb. Log. 7 (1 ) : 60-72 (2014 )share record
persistent URL:
Lawrence C. Paulson : A Machine-Assisted Proof of Gödel's Incompleteness theorems for the Theory of Hereditarily Finite Sets. Rev. Symb. Log. 7 (3 ) : 484-498 (2014 )export record
dblp key:
journals/rsl/RosenblattS14 share record
persistent URL:
Lucas Rosenblatt , Damián Enrique Szmuc : On pathological Truths. Rev. Symb. Log. 7 (4 ) : 601-617 (2014 )share record
persistent URL:
Michael Schippers : Incoherence and Inconsistency. Rev. Symb. Log. 7 (3 ) : 511-528 (2014 )export record
dblp key:
journals/rsl/Schippers14a share record
persistent URL:
Michael Schippers : Structural Properties of Qualitative and Quantitative Accounts to Coherence. Rev. Symb. Log. 7 (3 ) : 579-598 (2014 )share record
persistent URL:
Johannes Stern : Modality and Axiomatic Theories of Truth I: Friedman-Sheard. Rev. Symb. Log. 7 (2 ) : 273-298 (2014 )share record
persistent URL:
Johannes Stern : Modality and Axiomatic Theories of Truth II: Kripke-Feferman. Rev. Symb. Log. 7 (2 ) : 299-318 (2014 )share record
persistent URL:
Nick Thomas : Expressive Limitations of naïve Set Theory in LP and minimally Inconsistent LP. Rev. Symb. Log. 7 (2 ) : 341-350 (2014 )share record
persistent URL:
Sean Walsh : Logicism, interpretability, and Knowledge of Arithmetic. Rev. Symb. Log. 7 (1 ) : 84-119 (2014 )