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/rsl6.bht:"
download as .bib file
@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}
}
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-09-12 01:56 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:
