![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/journals/rsl/rsl6.bht:"
@article{DBLP:journals/rsl/000113, author = {John T. Baldwin}, title = {Formalization, Primitive Concepts, and purity}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {87--128}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000263}, doi = {10.1017/S1755020312000263}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/000113.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Antonelli13, author = {Gian Aldo Antonelli}, title = {On the General Interpretation of First-order Quantifiers}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {637--658}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000270}, doi = {10.1017/S1755020313000270}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Antonelli13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Barbero13, author = {Fausto Barbero}, title = {On Existential Declarations of Independence in if Logic}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {254--280}, year = {2013}, url = {https://doi.org/10.1017/S175502031200038X}, doi = {10.1017/S175502031200038X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Barbero13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/BarrioP13, author = {Eduardo Alejandro Barrio and Lavinia Mar{\'{\i}}a Picollo}, title = {Notes on {\(\omega\)}-Inconsistent Theories of Truth in second-order Languages}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {733--741}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000269}, doi = {10.1017/S1755020313000269}, timestamp = {Tue, 21 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/BarrioP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Beall13, author = {J. C. Beall}, title = {LP+, K3+, FDE+, and their 'Classical Collapse'}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {742--754}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000142}, doi = {10.1017/S1755020313000142}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Beall13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Beall13a, author = {J. C. Beall}, title = {A Simple Approach towards Recapturing Consistent Theories in Paraconsistent Settings}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {755--764}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000208}, doi = {10.1017/S1755020313000208}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Beall13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/CintulaHN13, author = {Petr Cintula and Rostislav Horc{\'{\i}}k and Carles Noguera}, title = {Nonassociative Substructural Logics and their semilinear Extensions: Axiomatization and Completeness Properties}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {394--423}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000099}, doi = {10.1017/S1755020313000099}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rsl/CintulaHN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Cordon-FrancoDN13, author = {Andr{\'{e}}s Cord{\'{o}}n{-}Franco and Hans van Ditmarsch and {\'{A}}ngel Nepomuceno{-}Fern{\'{a}}ndez}, title = {Dynamic Consequence and Public announcement}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {659--679}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000294}, doi = {10.1017/S1755020313000294}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Cordon-FrancoDN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/CotriniG13, author = {Carlos Cotrini and Yuri Gurevich}, title = {Transitive Primal Infon Logic}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {281--304}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000366}, doi = {10.1017/S1755020312000366}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/CotriniG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/CotriniG13a, author = {Carlos Cotrini and Yuri Gurevich}, title = {Transitive Primal Infon Logic-ERRATUM}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {366}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000166}, doi = {10.1017/S1755020313000166}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/CotriniG13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Feferman13, author = {Solomon Feferman}, title = {Foundations of Unlimited Category Theory: What Remains to be Done}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {6--15}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000111}, doi = {10.1017/S1755020312000111}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Feferman13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/FermeR13, author = {Eduardo Ferm{\'{e}} and Maur{\'{\i}}cio D. Lu{\'{\i}}s Reis}, title = {Epistemic Entrenchment-based Multiple contractions}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {460--487}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000105}, doi = {10.1017/S1755020313000105}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/FermeR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Giordani13, author = {Alessandro Giordani}, title = {A Logic of Justification and Truthmaking}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {323--342}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000378}, doi = {10.1017/S1755020312000378}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Giordani13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Halpern13, author = {Joseph Y. Halpern}, title = {From Causal Models to Counterfactual Structures}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {305--322}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000305}, doi = {10.1017/S1755020312000305}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Halpern13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Hansson13, author = {Sven Ove Hansson}, title = {Outcome Level Analysis of Belief Contraction}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {183--204}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000354}, doi = {10.1017/S1755020312000354}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Hansson13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Hellman13, author = {Geoffrey Hellman}, title = {Neither Categorical {NOR} Set-Theoretic Foundations}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {16--23}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000123}, doi = {10.1017/S1755020312000123}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Hellman13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/HellmanS13, author = {Geoffrey Hellman and Stewart Shapiro}, title = {The Classical continuum without Points}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {488--512}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000075}, doi = {10.1017/S1755020313000075}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/HellmanS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/HellmanS13a, author = {Geoffrey Hellman and Stewart Shapiro}, title = {The Classical Continuum without Points - {CORRIGENDUM}}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {571}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000117}, doi = {10.1017/S1755020313000117}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/HellmanS13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Huber13, author = {Franz Huber}, title = {Structural equations and beyond}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {709--732}, year = {2013}, url = {https://doi.org/10.1017/S175502031300018X}, doi = {10.1017/S175502031300018X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Huber13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Humberstone13, author = {Lloyd Humberstone}, title = {Aggregation and Idempotence}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {680--708}, year = {2013}, url = {https://doi.org/10.1017/S175502031300021X}, doi = {10.1017/S175502031300021X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Humberstone13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Kremer13, author = {Philip Kremer}, title = {Strong Completeness of {S4} for any Dense-in-Itself Metric Space}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {545--570}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000087}, doi = {10.1017/S1755020313000087}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Kremer13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Kurahashi13, author = {Taishi Kurahashi}, title = {Arithmetical Interpretations and Kripke Frames of Predicate Modal Logic of Provability}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {129--146}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000275}, doi = {10.1017/S1755020312000275}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Kurahashi13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/KuyperT13, author = {Rutger Kuyper and Sebastiaan A. Terwijn}, title = {Model Theory of Measure Spaces and Probability Logic}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {367--393}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000063}, doi = {10.1017/S1755020313000063}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/KuyperT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Landry13, author = {Elaine Landry}, title = {The Genetic versus the Axiomatic method: Responding to Feferman 1977}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {24--51}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000135}, doi = {10.1017/S1755020312000135}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Landry13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/LeighN13, author = {Graham E. Leigh and Carlo Nicolai}, title = {Axiomatic Truth, Syntax and Metatheoretic Reasoning}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {613--636}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000233}, doi = {10.1017/S1755020313000233}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/LeighN13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Linnebo13, author = {{\O}ystein Linnebo}, title = {The potential Hierarchy of Sets}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {205--228}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000014}, doi = {10.1017/S1755020313000014}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Linnebo13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/LiuW13, author = {Hu Liu and Xuefeng Wen}, title = {On Formalizing Causation based on Constant conjunction Theory}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {160--181}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000299}, doi = {10.1017/S1755020312000299}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/LiuW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Marquis13, author = {Jean{-}Pierre Marquis}, title = {Categorical Foundations of Mathematics or How to Provide Foundations for Abstract Mathematics}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {51--75}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000147}, doi = {10.1017/S1755020312000147}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Marquis13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/McCarty13, author = {Charles McCarty}, title = {Antirealism and Constructivism: Brouwer's Weak Counterexamples}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {147--159}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000287}, doi = {10.1017/S1755020312000287}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/McCarty13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/McCarty13a, author = {Charles McCarty}, title = {Brouwer's Weak Counterexamples and Testability: further Remarks}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {513--523}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000051}, doi = {10.1017/S1755020313000051}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/McCarty13a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/McLarty13, author = {Colin McLarty}, title = {Foundations as Truths which Organize Mathematics}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {76--86}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000159}, doi = {10.1017/S1755020312000159}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/McLarty13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Meadows13, author = {Toby Meadows}, title = {What can a Categoricity Theorem Tell US?}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {524--544}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000178}, doi = {10.1017/S1755020313000178}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Meadows13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Obojska13, author = {Lidia Obojska}, title = {Some Remarks on supplementation Principles in the Absence of Antisymmetry}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {343--347}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000330}, doi = {10.1017/S1755020312000330}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Obojska13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Olkhovikov13, author = {Grigory K. Olkhovikov}, title = {Model-Theoretic characterization of intuitionistic Propositional Formulas}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {348--365}, year = {2013}, url = {https://doi.org/10.1017/S1755020312000342}, doi = {10.1017/S1755020312000342}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Olkhovikov13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Parker13, author = {Matthew W. Parker}, title = {Set Size and the Part-whole Principle}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {589--612}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000221}, doi = {10.1017/S1755020313000221}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Parker13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Rumberg13, author = {Antje Rumberg}, title = {Bolzano's Concept of Grounding (Abfolge) against the Background of Normal Proofs}, journal = {Rev. Symb. Log.}, volume = {6}, number = {3}, pages = {424--459}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000154}, doi = {10.1017/S1755020313000154}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Rumberg13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/Suzuki13, author = {Tomoyuki Suzuki}, title = {A Sahlqvist Theorem for Substructural Logic}, journal = {Rev. Symb. Log.}, volume = {6}, number = {2}, pages = {229--253}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000026}, doi = {10.1017/S1755020313000026}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Suzuki13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/WaltersW13, author = {Lee Walters and John Robert Gareth Williams}, title = {An Argument for conjunction Conditionalization}, journal = {Rev. Symb. Log.}, volume = {6}, number = {4}, pages = {573--588}, year = {2013}, url = {https://doi.org/10.1017/S1755020313000191}, doi = {10.1017/S1755020313000191}, timestamp = {Fri, 22 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/WaltersW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rsl/X13, title = {Introduction}, journal = {Rev. Symb. Log.}, volume = {6}, number = {1}, pages = {1--5}, year = {2013}, url = {https://doi.org/10.1017/S175502031200010X}, doi = {10.1017/S175502031200010X}, timestamp = {Tue, 20 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/X13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.