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/rsl/rsl7.bht:"
download as .bib file
@article{DBLP:journals/rsl/000214,
author = {Thomas Schindler},
title = {Axioms for Grounded Truth},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {73--83},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000282},
doi = {10.1017/S1755020313000282},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/000214.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/AlizadehDO14,
author = {Majid Alizadeh and
Farzaneh Derakhshan and
Hiroakira Ono},
title = {Uniform interpolation in Substructural Logics},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {455--483},
year = {2014},
url = {https://doi.org/10.1017/S175502031400015X},
doi = {10.1017/S175502031400015X},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/AlizadehDO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/BeggsCT14,
author = {Edwin J. Beggs and
Jos{\'{e}} F{\'{e}}lix Costa and
John V. Tucker},
title = {Three Forms of Physical Measurement and their Computability},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {618--646},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000240},
doi = {10.1017/S1755020314000240},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/BeggsCT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Ben-Yami14,
author = {Hanoch Ben{-}Yami},
title = {The Quantified Argument Calculus},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {120--146},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000373},
doi = {10.1017/S1755020313000373},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Ben-Yami14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Berto14,
author = {Francesco Berto},
title = {Absolute Contradiction, dialetheism, and Revenge},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {193--207},
year = {2014},
url = {https://doi.org/10.1017/S175502031400001X},
doi = {10.1017/S175502031400001X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Berto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/CarnielliCPR14,
author = {Walter Alexandre Carnielli and
Marcelo E. Coniglio and
Rodrigo Podiacki and
Tarc{\'{\i}}sio Rodrigues},
title = {On the Way to a wider Model Theory: Completeness theorems for First-order
Logics of Formal Inconsistency},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {548--578},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000148},
doi = {10.1017/S1755020314000148},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/CarnielliCPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Correia14,
author = {Fabrice Correia},
title = {Logical grounds},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {31--59},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000300},
doi = {10.1017/S1755020313000300},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Correia14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Field14,
author = {Hartry Field},
title = {Naive Truth and Restricted Quantification: Saving Truth a whole lot
Better},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {147--191},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000312},
doi = {10.1017/S1755020313000312},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Field14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fischer14,
author = {Martin Fischer},
title = {Truth and Speed-up},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {319--340},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000070},
doi = {10.1017/S1755020314000070},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Fischer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Francez14,
author = {Nissim Francez},
title = {Bilateral Relevant Logic},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {250--272},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000082},
doi = {10.1017/S1755020314000082},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Francez14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Fritz14,
author = {Peter Fritz},
title = {What is the Correct Logic of Necessity, actuality and apriority?},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {385--414},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000136},
doi = {10.1017/S1755020314000136},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Fritz14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Griffiths14,
author = {Owen Griffiths},
title = {Harmonious Rules for Identity},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {499--510},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000161},
doi = {10.1017/S1755020314000161},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Griffiths14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HalbachV14,
author = {Volker Halbach and
Albert Visser},
title = {Self-Reference in Arithmetic {I}},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {671--691},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000288},
doi = {10.1017/S1755020314000288},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HalbachV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/HalbachV14a,
author = {Volker Halbach and
Albert Visser},
title = {Self-Reference in Arithmetic {II}},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {692--712},
year = {2014},
url = {https://doi.org/10.1017/S175502031400029X},
doi = {10.1017/S175502031400029X},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/HalbachV14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Hermens14,
author = {Ronnie Hermens},
title = {Placing Probabilities of Conditionals in Context},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {415--438},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000173},
doi = {10.1017/S1755020314000173},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Hermens14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Kremer14,
author = {Philip Kremer},
title = {Quantified Modal Logic on the Rational Line},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {439--454},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000021},
doi = {10.1017/S1755020314000021},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Kremer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Kuijer14,
author = {Louwe B. Kuijer},
title = {The Expressivity of Factual Change in Dynamic Epistemic Logic},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {208--221},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000324},
doi = {10.1017/S1755020313000324},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Kuijer14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Leuenberger14,
author = {Stephan Leuenberger},
title = {Total Logic},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {529--547},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000124},
doi = {10.1017/S1755020314000124},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Leuenberger14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Leuenberger14a,
author = {Stephan Leuenberger},
title = {Total Logic-ERRATUM},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {599},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000215},
doi = {10.1017/S1755020314000215},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Leuenberger14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Maddy14,
author = {Penelope Maddy},
title = {A second Philosophy of Arithmetic},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {222--249},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000336},
doi = {10.1017/S1755020313000336},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Maddy14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Mares14,
author = {Edwin D. Mares},
title = {Belief Revision, Probabilism, and Logic Choice},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {647--670},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000276},
doi = {10.1017/S1755020314000276},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Mares14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/OlkhovikovS14,
author = {Grigory K. Olkhovikov and
Peter Schroeder{-}Heister},
title = {On Flattening Elimination Rules},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {60--72},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000385},
doi = {10.1017/S1755020313000385},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/OlkhovikovS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Paulson14,
author = {Lawrence C. Paulson},
title = {A Machine-Assisted Proof of G{\"{o}}del's Incompleteness theorems
for the Theory of Hereditarily Finite Sets},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {484--498},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000112},
doi = {10.1017/S1755020314000112},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Paulson14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/RosenblattS14,
author = {Lucas Rosenblatt and
Dami{\'{a}}n Enrique Szmuc},
title = {On pathological Truths},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {601--617},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000239},
doi = {10.1017/S1755020314000239},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/RosenblattS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Schippers14,
author = {Michael Schippers},
title = {Incoherence and Inconsistency},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {511--528},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000203},
doi = {10.1017/S1755020314000203},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Schippers14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Schippers14a,
author = {Michael Schippers},
title = {Structural Properties of Qualitative and Quantitative Accounts to
Coherence},
journal = {Rev. Symb. Log.},
volume = {7},
number = {3},
pages = {579--598},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000227},
doi = {10.1017/S1755020314000227},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Schippers14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Stern14,
author = {Johannes Stern},
title = {Modality and Axiomatic Theories of Truth {I:} Friedman-Sheard},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {273--298},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000057},
doi = {10.1017/S1755020314000057},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Stern14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Stern14a,
author = {Johannes Stern},
title = {Modality and Axiomatic Theories of Truth {II:} Kripke-Feferman},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {299--318},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000069},
doi = {10.1017/S1755020314000069},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Stern14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Thomas14,
author = {Nick Thomas},
title = {Expressive Limitations of na{\"{\i}}ve Set Theory in {LP} and
minimally Inconsistent {LP}},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {341--350},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000033},
doi = {10.1017/S1755020314000033},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Thomas14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Walsh14,
author = {Sean Walsh},
title = {Logicism, interpretability, and Knowledge of Arithmetic},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {84--119},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000397},
doi = {10.1017/S1755020313000397},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Walsh14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Welch14,
author = {Philip D. Welch},
title = {Some observations on Truth Hierarchies},
journal = {Rev. Symb. Log.},
volume = {7},
number = {1},
pages = {1--30},
year = {2014},
url = {https://doi.org/10.1017/S1755020313000361},
doi = {10.1017/S1755020313000361},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Welch14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/Zardini14,
author = {Elia Zardini},
title = {Naive Truth and Naive Logical Properties},
journal = {Rev. Symb. Log.},
volume = {7},
number = {2},
pages = {351--384},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000045},
doi = {10.1017/S1755020314000045},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/Zardini14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsl/deRosset14,
author = {Louis deRosset},
title = {On Weak Ground},
journal = {Rev. Symb. Log.},
volume = {7},
number = {4},
pages = {713--744},
year = {2014},
url = {https://doi.org/10.1017/S1755020314000306},
doi = {10.1017/S1755020314000306},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rsl/deRosset14.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-05-25 15:06 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:
