default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia Logica - An International Journal for Symbolic Logic, Volume 107
Volume 107, Number 1, February 2019
- Thomas Piecha, Peter Schroeder-Heister:
General Proof Theory: Introduction. 1-5 - Peter Schroeder-Heister
:
Kosta Došen (1954-2017). 7-9 - Dag Prawitz:
The Fundamental Problem of General Proof Theory. 11-29 - Kosta Dosen, Milos Adzic:
Gödel on Deduction. 31-51 - Lev Gordeev, Edward Hermann Haeusler:
Proof Compression and NP Versus PSPACE. 53-83 - Norbert Gratzl, Eugenio Orlandelli:
Logicality, Double-Line Rules, and Modalities. 85-107 - Giulio Guerrieri, Alberto Naibo:
Postponement of $$\mathsf {raa}$$ raa and Glivenko's Theorem, Revisited. 109-144 - Reinhard Kahle:
Is There a "Hilbert Thesis"? 145-165 - Grigory K. Olkhovikov, Heinrich Wansing:
Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic. 167-194 - Luca Tranchini, Paolo Pistone, Mattia Petrolo:
The Naturality of Natural Deduction. 195-231 - Thomas Piecha, Peter Schroeder-Heister:
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. 233-246
Volume 107, Number 2, April 2019
- Frederik Möllerström Lauridsen:
Intermediate Logics Admitting a Structural Hypersequent Calculus. 247-282 - Minghui Ma, Yuanlei Lin:
A Deterministic Weakening of Belnap-Dunn Logic. 283-312 - Dorota Leszczynska-Jasion, Mateusz Ignaszak, Szymon Chlebowski:
Rasiowa-Sikorski Deduction Systems with the Rule of Cut: A Case Study. 313-349 - Ramon Jansana, Hernán Javier San Martín:
On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication. 351-374 - Susanne Bobzien, Roy Dyckhoff:
Analyticity, Balance and Non-admissibility of $$\varvec{Cut}$$ Cut in Stoic Logic. 375-397 - Manuela Busaniche, Roberto Cignoli, Miguel Andrés Marcos:
A Categorical Equivalence for Stonean Residuated Lattices. 399-421 - Stefano Bonzio, Andrea Loi, Luisa Peruzzi:
A Duality for Involutive Bisemilattices. 423-444 - Juan J. Colomina:
Jody 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. 445-450
Volume 107, Number 3, June 2019
- Giacomo Bonanno, Wiebe van der Hoek, Andrés Perea:
Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12). 451-455 - Philippe Balbiani, David Fernández-Duque, Emiliano Lorini:
The Dynamics of Epistemic Attitudes in Resource-Bounded Agents. 457-488 - Alexandru Baltag, Zoé Christoff, Rasmus K. Rendsvig, Sonja Smets:
Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks. 489-531 - Anantha Padmanabha, R. Ramanujam:
The Monodic Fragment of Propositional Term Modal Logic. 533-557 - Jia Chen, Tianqun Pan:
Logics for Moderate Belief-Disagreement Between Agents. 559-574 - Pedro Merlussi:
Book Reviews. 575-579 - Hector Freytes:
Book Reviews. 581-582 - Adrian Rezus:
Jan 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. 583-589
Volume 107, Number 4, August 2019
- Aldo Figallo Orellano, Inés Pascual:
On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras. 591-611 - Minghui Ma, Jinsheng Chen:
Sequent Calculi for Global Modal Consequence Relations. 613-637 - Alessandro Giordani:
Axiomatizing the Logic of Imagination. 639-657 - Congwen Luo, Yanlu Zheng:
MS-Algebras Whose e-Ideals are Kernel Ideals. 659-668 - Kyle Banick:
Epistemic Logic, Monotonicity, and the Halbach-Welch Rapprochement Strategy. 669-693 - Mikhail N. Rybakov, Dmitry Shkatov:
Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter. 695-717 - Johan van Benthem, Nick Bezhanishvili, Sebastian Enqvist:
A Propositional Dynamic Logic for Instantial Neighborhood Semantics. 719-751 - Gennady Shtakser:
Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach). 753-780 - Michael Arndt:
Eight Inference Rules for Implication. 781-808 - Rafal Gruszczynski, Andrzej Pietruszczak:
A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points. 809-843 - Peter Fletcher:
Enrico 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. 845-851 - Francesco Bellucci:
Jan 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). 853-857
Volume 107, Number 5, October 2019
- James P. Delgrande, Hector J. Levesque:
An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. 859-886 - Sven Ove Hansson:
Back to Basics: Belief Revision Through Direct Selection. 887-915 - Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
Truth-Tracking by Belief Revision. 917-947 - Konstantin Genin, Kevin T. Kelly:
Theory Choice, Theory Change, and Inductive Truth-Conduciveness. 949-989 - Oliver Schulte:
Causal Learning with Occam's Razor. 991-1023 - Eric Martin:
Nonmonotonicity in the Framework of Parametric Logic. 1025-1077 - Morten Heine Sørensen:
Raymond 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. 1079-1081 - Sophie Pinchinat:
S. 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. 1083-1088
Volume 107, Number 6, December 2019
- Neil Tennant:
On Tarski's Axiomatization of Mereology. 1089-1102 - Shawn Standefer:
Translations Between Gentzen-Prawitz and Jaśkowski-Fitch Natural Deduction Proofs. 1103-1134 - Lilian J. Cruz, Yuri A. Poveda:
Categorical Equivalence Between PMVf-Product Algebras and Semi-Low fu-Rings. 1135-1158 - María Manzano, Manuel A. Martins, Antonia Huertas:
Completeness in Equational Hybrid Propositional Type Theory. 1159-1198 - Gianluca Grilletti:
Disjunction and Existence Properties in Inquisitive First-Order Logic. 1199-1234 - Paolo Aglianò:
Varieties of BL-Algebras III: Splitting Algebras. 1235-1259 - Jie Fang:
The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property. 1261-1277 - Jared Millson:
A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences. 1279-1312 - Rohan French, David Ripley:
Valuations: Bi, Tri, and Tetra. 1313-1346
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.
last updated on 2025-12-23 00:33 CET 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:
