:facetid:toc:\"db/journals/sLogica/sLogica107.bht\"OK:facetid:toc:db/journals/sLogica/sLogica107.bhtPaolo AglianòVarieties of BL-Algebras III: Splitting Algebras.Stud Logica10761235-12592019Journal Articlesclosedjournals/sLogica/Agliano1910.1007/S11225-018-9836-2https://doi.org/10.1007/s11225-018-9836-2https://dblp.org/rec/journals/sLogica/Agliano19URL#2066922Michael ArndtEight Inference Rules for Implication.Stud Logica1074781-8082019Journal Articlesclosedjournals/sLogica/Arndt1910.1007/S11225-018-9821-9https://doi.org/10.1007/s11225-018-9821-9https://dblp.org/rec/journals/sLogica/Arndt19URL#2066923Philippe BalbianiDavid Fernández-DuqueEmiliano LoriniThe Dynamics of Epistemic Attitudes in Resource-Bounded Agents.Stud Logica1073457-4882019Journal Articlesclosedjournals/sLogica/BalbianiFL1910.1007/S11225-018-9798-4https://doi.org/10.1007/s11225-018-9798-4https://dblp.org/rec/journals/sLogica/BalbianiFL19URL#2066924Alexandru BaltagZoé ChristoffRasmus K. RendsvigSonja SmetsDynamic Epistemic Logics of Diffusion and Prediction in Social Networks.Stud Logica1073489-5312019Journal Articlesopenjournals/sLogica/BaltagCRS1910.1007/S11225-018-9804-Xhttps://doi.org/10.1007/s11225-018-9804-xhttps://dblp.org/rec/journals/sLogica/BaltagCRS19URL#2066925Alexandru BaltagNina GierasimczukSonja SmetsTruth-Tracking by Belief Revision.Stud Logica1075917-9472019Journal Articlesopenjournals/sLogica/BaltagGS1910.1007/S11225-018-9812-Xhttps://doi.org/10.1007/s11225-018-9812-xhttps://dblp.org/rec/journals/sLogica/BaltagGS19URL#2066926Kyle BanickEpistemic Logic, Monotonicity, and the Halbach-Welch Rapprochement Strategy.Stud Logica1074669-6932019Journal Articlesclosedjournals/sLogica/Banick1910.1007/S11225-018-9811-Yhttps://doi.org/10.1007/s11225-018-9811-yhttps://dblp.org/rec/journals/sLogica/Banick19URL#2066927Francesco BellucciJan Dejnožka, The Concept of Relevance and the Logic Diagram Tradition - Ann Arbor, Michigan: CreateSpace, 2012, pp. 154; reprinted in 2015 with minor corrections. ISBN 9781475071092. $13.99 (paperback).Stud Logica1074853-8572019Journal Articlesclosedjournals/sLogica/Bellucci1910.1007/S11225-019-09868-Zhttps://doi.org/10.1007/s11225-019-09868-zhttps://dblp.org/rec/journals/sLogica/Bellucci19URL#2066928Johan van BenthemNick BezhanishviliSebastian EnqvistA Propositional Dynamic Logic for Instantial Neighborhood Semantics.Stud Logica1074719-7512019Journal Articlesopenjournals/sLogica/BenthemBE1910.1007/S11225-018-9825-5https://doi.org/10.1007/s11225-018-9825-5https://dblp.org/rec/journals/sLogica/BenthemBE19URL#2066929Susanne BobzienRoy DyckhoffAnalyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic.Stud Logica1072375-3972019Journal Articlesopenjournals/sLogica/BobzienD1910.1007/S11225-018-9797-5https://doi.org/10.1007/s11225-018-9797-5https://dblp.org/rec/journals/sLogica/BobzienD19URL#2066930Giacomo BonannoWiebe van der HoekAndrés PereaIntroduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12).Stud Logica1073451-4552019Journal Articlesopenjournals/sLogica/BonannoHP1910.1007/S11225-018-9803-Yhttps://doi.org/10.1007/s11225-018-9803-yhttps://dblp.org/rec/journals/sLogica/BonannoHP19URL#2066931Stefano BonzioAndrea LoiLuisa PeruzziA Duality for Involutive Bisemilattices.Stud Logica1072423-4442019Journal Articlesclosedjournals/sLogica/BonzioLP1910.1007/S11225-018-9801-0https://doi.org/10.1007/s11225-018-9801-0https://dblp.org/rec/journals/sLogica/BonzioLP19URL#2066932Manuela BusanicheRoberto CignoliMiguel Andrés MarcosA Categorical Equivalence for Stonean Residuated Lattices.Stud Logica1072399-4212019Journal Articlesclosedjournals/sLogica/BusanicheCM1910.1007/S11225-018-9800-1https://doi.org/10.1007/s11225-018-9800-1https://dblp.org/rec/journals/sLogica/BusanicheCM19URL#2066933Jia ChenTianqun PanLogics for Moderate Belief-Disagreement Between Agents.Stud Logica1073559-5742019Journal Articlesclosedjournals/sLogica/ChenP1910.1007/S11225-018-9790-Zhttps://doi.org/10.1007/s11225-018-9790-zhttps://dblp.org/rec/journals/sLogica/ChenP19URL#2066934Juan J. ColominaJody Azzouni, The Rule-Following Paradox and Its Implications for Metaphysics, Springer (Synthese Library Series No. 382), 2017, pp. $$\hbox {viii} + 124$$ viii + 124 , ISBN: 978-3-319-49060-1 (Hardcover) $99.99; (Softcover) $89.99; (eBook) $69.99.Stud Logica1072445-4502019Journal Articlesclosedjournals/sLogica/Colomina1910.1007/S11225-018-09843-0https://doi.org/10.1007/s11225-018-09843-0https://dblp.org/rec/journals/sLogica/Colomina19URL#2066935Lilian J. CruzYuri A. PovedaCategorical Equivalence Between PMVf-Product Algebras and Semi-Low fu-Rings.Stud Logica10761135-11582019Journal Articlesclosedjournals/sLogica/CruzP1910.1007/S11225-018-9832-6https://doi.org/10.1007/s11225-018-9832-6https://dblp.org/rec/journals/sLogica/CruzP19URL#2066936James P. DelgrandeHector J. LevesqueAn Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events.Stud Logica1075859-8862019Journal Articlesclosedjournals/sLogica/DelgrandeL1910.1007/S11225-018-9808-6https://doi.org/10.1007/s11225-018-9808-6https://dblp.org/rec/journals/sLogica/DelgrandeL19URL#2066937Kosta DosenMilos AdzicGödel on Deduction.Stud Logica107131-512019Journal Articlesclosedjournals/sLogica/DosenA1910.1007/S11225-017-9774-4https://doi.org/10.1007/s11225-017-9774-4https://dblp.org/rec/journals/sLogica/DosenA19URL#2066938Jie FangThe Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property.Stud Logica10761261-12772019Journal Articlesclosedjournals/sLogica/Fang1910.1007/S11225-018-9838-0https://doi.org/10.1007/s11225-018-9838-0https://dblp.org/rec/journals/sLogica/Fang19URL#2066939Peter Fletcher 0001Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer's Creative Subject in Intuitionistic Mathematics, Springer, 2018 - Logic, Epistemology, and the Unity of Science, vol. 42.Stud Logica1074845-8512019Journal Articlesclosedjournals/sLogica/Fletcher1910.1007/S11225-019-09866-1https://doi.org/10.1007/s11225-019-09866-1https://dblp.org/rec/journals/sLogica/Fletcher19URL#2066940Rohan FrenchDavid RipleyValuations: Bi, Tri, and Tetra.Stud Logica10761313-13462019Journal Articlesclosedjournals/sLogica/FrenchR1910.1007/S11225-018-9837-1https://doi.org/10.1007/s11225-018-9837-1https://dblp.org/rec/journals/sLogica/FrenchR19URL#2066941Hector FreytesBook Reviews.Stud Logica1073581-5822019Journal Articlesclosedjournals/sLogica/Freytes1910.1007/S11225-019-09856-3https://doi.org/10.1007/s11225-019-09856-3https://dblp.org/rec/journals/sLogica/Freytes19URL#2066942Konstantin GeninKevin T. KellyTheory Choice, Theory Change, and Inductive Truth-Conduciveness.Stud Logica1075949-9892019Journal Articlesclosedjournals/sLogica/GeninK1910.1007/S11225-018-9809-5https://doi.org/10.1007/s11225-018-9809-5https://dblp.org/rec/journals/sLogica/GeninK19URL#2066943Alessandro GiordaniAxiomatizing the Logic of Imagination.Stud Logica1074639-6572019Journal Articlesclosedjournals/sLogica/Giordani1910.1007/S11225-018-9810-Zhttps://doi.org/10.1007/s11225-018-9810-zhttps://dblp.org/rec/journals/sLogica/Giordani19URL#2066944Lev GordeevEdward Hermann HaeuslerProof Compression and NP Versus PSPACE.Stud Logica107153-832019Journal Articlesclosedjournals/sLogica/GordeevH1910.1007/S11225-017-9773-5https://doi.org/10.1007/s11225-017-9773-5https://dblp.org/rec/journals/sLogica/GordeevH19URL#2066945Norbert GratzlEugenio OrlandelliLogicality, Double-Line Rules, and Modalities.Stud Logica107185-1072019Journal Articlesclosedjournals/sLogica/GratzlO1910.1007/S11225-017-9778-0https://doi.org/10.1007/s11225-017-9778-0https://dblp.org/rec/journals/sLogica/GratzlO19URL#2066946Gianluca GrillettiDisjunction and Existence Properties in Inquisitive First-Order Logic.Stud Logica10761199-12342019Journal Articlesopenjournals/sLogica/Grilletti1910.1007/S11225-018-9835-3https://doi.org/10.1007/s11225-018-9835-3https://dblp.org/rec/journals/sLogica/Grilletti19URL#2066947Rafal GruszczynskiAndrzej PietruszczakA Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points.Stud Logica1074809-8432019Journal Articlesopenjournals/sLogica/GruszczynskiP1910.1007/S11225-018-9822-8https://doi.org/10.1007/s11225-018-9822-8https://dblp.org/rec/journals/sLogica/GruszczynskiP19URL#2066948Giulio GuerrieriAlberto NaiboPostponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited.Stud Logica1071109-1442019Journal Articlesclosedjournals/sLogica/GuerrieriN1910.1007/S11225-017-9781-5https://doi.org/10.1007/s11225-017-9781-5https://dblp.org/rec/journals/sLogica/GuerrieriN19URL#2066949Sven Ove HanssonBack to Basics: Belief Revision Through Direct Selection.Stud Logica1075887-9152019Journal Articlesopenjournals/sLogica/Hansson1910.1007/S11225-018-9807-7https://doi.org/10.1007/s11225-018-9807-7https://dblp.org/rec/journals/sLogica/Hansson19URL#2066950Ramon JansanaHernán Javier San MartínOn Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication.Stud Logica1072351-3742019Journal Articlesclosedjournals/sLogica/JansanaM1910.1007/S11225-018-9796-6https://doi.org/10.1007/s11225-018-9796-6https://dblp.org/rec/journals/sLogica/JansanaM19URL#2066951Reinhard KahleIs There a "Hilbert Thesis"?Stud Logica1071145-1652019Journal Articlesclosedjournals/sLogica/Kahle1910.1007/S11225-017-9776-2https://doi.org/10.1007/s11225-017-9776-2https://dblp.org/rec/journals/sLogica/Kahle19URL#2066952Frederik Möllerström LauridsenIntermediate Logics Admitting a Structural Hypersequent Calculus.Stud Logica1072247-2822019Journal Articlesopenjournals/sLogica/Lauridsen1910.1007/S11225-018-9791-Yhttps://doi.org/10.1007/s11225-018-9791-yhttps://dblp.org/rec/journals/sLogica/Lauridsen19URL#2066953Dorota Leszczynska-JasionMateusz IgnaszakSzymon ChlebowskiRasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study.Stud Logica1072313-3492019Journal Articlesopenjournals/sLogica/Leszczynska-Jasion1910.1007/S11225-018-9795-7https://doi.org/10.1007/s11225-018-9795-7https://dblp.org/rec/journals/sLogica/Leszczynska-Jasion19URL#2066954Congwen LuoYanlu ZhengMS-Algebras Whose e-Ideals are Kernel Ideals.Stud Logica1074659-6682019Journal Articlesclosedjournals/sLogica/LuoZ1910.1007/S11225-018-9805-9https://doi.org/10.1007/s11225-018-9805-9https://dblp.org/rec/journals/sLogica/LuoZ19URL#2066955Minghui MaJinsheng ChenSequent Calculi for Global Modal Consequence Relations.Stud Logica1074613-6372019Journal Articlesclosedjournals/sLogica/MaC1910.1007/S11225-018-9806-8https://doi.org/10.1007/s11225-018-9806-8https://dblp.org/rec/journals/sLogica/MaC19URL#2066956Minghui MaYuanlei LinA Deterministic Weakening of Belnap-Dunn Logic.Stud Logica1072283-3122019Journal Articlesclosedjournals/sLogica/MaL1910.1007/S11225-018-9792-Xhttps://doi.org/10.1007/s11225-018-9792-xhttps://dblp.org/rec/journals/sLogica/MaL19URL#2066957María ManzanoManuel A. Martins 0001Antonia HuertasCompleteness in Equational Hybrid Propositional Type Theory.Stud Logica10761159-11982019Journal Articlesclosedjournals/sLogica/ManzanoMH1910.1007/S11225-018-9833-5https://doi.org/10.1007/s11225-018-9833-5https://dblp.org/rec/journals/sLogica/ManzanoMH19URL#2066958Eric Martin 0002Nonmonotonicity in the Framework of Parametric Logic.Stud Logica10751025-10772019Journal Articlesclosedjournals/sLogica/Martin1910.1007/S11225-018-9831-7https://doi.org/10.1007/s11225-018-9831-7https://dblp.org/rec/journals/sLogica/Martin19URL#2066959Pedro MerlussiBook Reviews.Stud Logica1073575-5792019Journal Articlesclosedjournals/sLogica/Merlussi1910.1007/S11225-019-09852-7https://doi.org/10.1007/s11225-019-09852-7https://dblp.org/rec/journals/sLogica/Merlussi19URL#2066960Jared MillsonA Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Stud Logica10761279-13122019Journal Articlesclosedjournals/sLogica/Millson1910.1007/S11225-018-9839-Zhttps://doi.org/10.1007/s11225-018-9839-zhttps://dblp.org/rec/journals/sLogica/Millson19URL#2066961Grigory K. OlkhovikovHeinrich WansingInference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.Stud Logica1071167-1942019Journal Articlesclosedjournals/sLogica/OlkhovikovW1910.1007/S11225-017-9779-Zhttps://doi.org/10.1007/s11225-017-9779-zhttps://dblp.org/rec/journals/sLogica/OlkhovikovW19URL#2066962Aldo Figallo OrellanoInés PascualOn Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras.Stud Logica1074591-6112019Journal Articlesclosedjournals/sLogica/OrellanoP1910.1007/S11225-018-9802-Zhttps://doi.org/10.1007/s11225-018-9802-zhttps://dblp.org/rec/journals/sLogica/OrellanoP19URL#2066963Anantha PadmanabhaR. Ramanujam 0001The Monodic Fragment of Propositional Term Modal Logic.Stud Logica1073533-5572019Journal Articlesclosedjournals/sLogica/PadmanabhaR1910.1007/S11225-018-9784-Xhttps://doi.org/10.1007/s11225-018-9784-xhttps://dblp.org/rec/journals/sLogica/PadmanabhaR19URL#2066964Thomas PiechaPeter Schroeder-HeisterGeneral Proof Theory: Introduction.Stud Logica10711-52019Journal Articlesopenjournals/sLogica/PiechaS1910.1007/S11225-018-9818-4https://doi.org/10.1007/s11225-018-9818-4https://dblp.org/rec/journals/sLogica/PiechaS19URL#2066965Thomas PiechaPeter Schroeder-HeisterIncompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Stud Logica1071233-2462019Journal Articlesclosedjournals/sLogica/PiechaS19a10.1007/S11225-018-9823-7https://doi.org/10.1007/s11225-018-9823-7https://dblp.org/rec/journals/sLogica/PiechaS19aURL#2066966Sophie PinchinatS. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science - Finite-State Systems - Cambridge University Press 2016, pp. 752. ISBN-10: 1107028361 (hardcover) £90.00; ISBN-13: 978-1107028364; online ISBN: 978-1139236119 (kindle) £85.50.Stud Logica10751083-10882019Journal Articlesclosedjournals/sLogica/Pinchinat1910.1007/S11225-019-09875-0https://doi.org/10.1007/s11225-019-09875-0https://dblp.org/rec/journals/sLogica/Pinchinat19URL#2066967Dag PrawitzThe Fundamental Problem of General Proof Theory.Stud Logica107111-292019Journal Articlesopenjournals/sLogica/Prawitz1910.1007/S11225-018-9785-9https://doi.org/10.1007/s11225-018-9785-9https://dblp.org/rec/journals/sLogica/Prawitz19URL#2066968Adrian RezusJan von Plato, Saved from the Cellar. Gerhard Gentzen's Shorthand Notes on Logic and the Foundations of Mathematics - Springer International Publishing, 2017. Sources and Studies in the History of Mathematics and Physical Sciences, x + 315 pp., ISBN 978-3-319-42119-3 (hardback), EUR 109.99, GBP 82.00, ISBN 978-3-319-42120-9 (eBook), EUR 91, 62.Stud Logica1073583-5892019Journal Articlesclosedjournals/sLogica/Rezus1910.1007/S11225-019-09864-3https://doi.org/10.1007/s11225-019-09864-3https://dblp.org/rec/journals/sLogica/Rezus19URL#2066969Mikhail N. RybakovDmitry ShkatovUndecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter.Stud Logica1074695-7172019Journal Articlesclosedjournals/sLogica/RybakovS1910.1007/S11225-018-9815-7https://doi.org/10.1007/s11225-018-9815-7https://dblp.org/rec/journals/sLogica/RybakovS19URL#2066970Peter Schroeder-HeisterKosta Došen (1954-2017).Stud Logica10717-92019Journal Articlesclosedjournals/sLogica/Schroeder-Heister1910.1007/S11225-018-9814-8https://doi.org/10.1007/s11225-018-9814-8https://dblp.org/rec/journals/sLogica/Schroeder-Heister19URL#2066971Oliver SchulteCausal Learning with Occam's Razor.Stud Logica1075991-10232019Journal Articlesclosedjournals/sLogica/Schulte1910.1007/S11225-018-9829-1https://doi.org/10.1007/s11225-018-9829-1https://dblp.org/rec/journals/sLogica/Schulte19URL#2066972Gennady ShtakserPropositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach).Stud Logica1074753-7802019Journal Articlesclosedjournals/sLogica/Shtakser1910.1007/S11225-018-9824-6https://doi.org/10.1007/s11225-018-9824-6https://dblp.org/rec/journals/sLogica/Shtakser19URL#2066973Morten Heine SørensenRaymond Smullyan, A Beginner's Further Guide to Mathematical Logic - World Scientific Publishing 2017, pp. 288; ISBN-10: 9814725722 (hardback) £45.00, ISBN-13: 978-9814725729 (paperback) £24.00, (kindle) £13.49.Stud Logica10751079-10812019Journal Articlesclosedjournals/sLogica/Sorensen1910.1007/S11225-019-09872-3https://doi.org/10.1007/s11225-019-09872-3https://dblp.org/rec/journals/sLogica/Sorensen19URL#2066974Shawn StandeferTranslations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs.Stud Logica10761103-11342019Journal Articlesclosedjournals/sLogica/Standefer1910.1007/S11225-018-9828-2https://doi.org/10.1007/s11225-018-9828-2https://dblp.org/rec/journals/sLogica/Standefer19URL#2066975Neil TennantOn Tarski's Axiomatization of Mereology.Stud Logica10761089-11022019Journal Articlesclosedjournals/sLogica/Tennant1910.1007/S11225-018-9819-3https://doi.org/10.1007/s11225-018-9819-3https://dblp.org/rec/journals/sLogica/Tennant19URL#2066976Luca TranchiniPaolo PistoneMattia PetroloThe Naturality of Natural Deduction.Stud Logica1071195-2312019Journal Articlesclosedjournals/sLogica/TranchiniPP1910.1007/S11225-017-9772-6https://doi.org/10.1007/s11225-017-9772-6https://dblp.org/rec/journals/sLogica/TranchiniPP19URL#2066977