Journal: Studia Logica

Volume 102, Issue 6

1091 -- 1094Andrzej Indrzejczak. Introduction
1095 -- 1102Ermanno Bencivenga. Jaśkowski's Universally Free Logic
1103 -- 1142Allen P. Hazen, Francis Jeffry Pelletier. Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different
1143 -- 1166Greg Restall. Normal Proofs, Cut Free Derivations and Structural Rules
1167 -- 1184Jan von Plato. From Axiomatic Logic to Natural Deduction
1185 -- 1216Peter Schroeder-Heister. The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
1217 -- 1244Matthias Baaz, Alexander Leitsch. Cut-Elimination: Syntax and Semantics
1245 -- 1294Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing. Hypersequent and Display Calculi - a Unified Perspective
1295 -- 1322Andrzej Indrzejczak. A Survey of Nonstandard Sequent Calculi

Volume 102, Issue 5

931 -- 954Shan Du. On Pretabular Logics in NExtK4 (Part II)
955 -- 980Sven Ove Hansson. Descriptor Revision
981 -- 1001Sam Butchart, Susan Rogerson. On the Algebraizability of the Implicational Fragment of Abelian Logic
1003 -- 1020Gillman Payette, Peter K. Schotch. Remarks on the Scott-Lindenbaum Theorem
1021 -- 1039Evgeny Zolin. Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi
1041 -- 1074João Rasga, Amílcar Sernadas, Cristina Sernadas. Fibring as Biporting Subsumes Asymmetric Combinations
1075 -- 1077Igor Douven. Radim Belohlavek and George J. Klir (eds.), Concepts and Fuzzy Logic
1079 -- 1085Jean-Yves Béziau. Yaroslav Shramko and Heinrich Wansing, Truth and Falsehood - An Inquiry into Generalized Logical Values
1087 -- 1089John P. Burgess. Kevin Scharp, Replacing Truth

Volume 102, Issue 4

663 -- 671Matthias Unterhuber, Gerhard Schurz. Logic and Probability: Reasoning in Uncertain Environments - Introduction to the Special Issue
673 -- 689Sarah R. Beck, Daniel P. Weisberg, Patrick Burns, Kevin J. Riggs. Conditional Reasoning and Emotional Experience: A Review of the Development of Counterfactual Thinking
691 -- 707Dorothy Edgington. Estimating Conditional Chances and Evaluating Counterfactuals
709 -- 729Angelo Gilio, Giuseppe Sanfilippo. Conditional Random Quantities and Compounds of Conditionals
731 -- 749James Hawthorne. A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures
751 -- 769Gabriele Kern-Isberner, Christian Eichhorn. Structural Inference from Conditional Knowledge Bases
771 -- 792Karolina Krzyzanowska, Sylvia Wenmackers, Igor Douven. Rethinking Gibbard's Riverboat Argument
793 -- 810Brian Leahy, Eva Rafetseder, Josef Perner. Basic Conditional Reasoning: How Children Mimic Counterfactual Reasoning
811 -- 848Arthur Paul Pedersen. Comparative Expectations
849 -- 866Niki Pfeifer. Reasoning About Uncertain Conditionals
867 -- 890Paul D. Thorn, Gerhard Schurz. A Utility Based Evaluation of Logico-probabilistic Systems
891 -- 911Matthias Unterhuber, Gerhard Schurz. Completeness and Correspondence in Chellas-Segerberg Semantics
913 -- 929Christian Wallmann, Gernot D. Kleiter. Probability Propagation in Generalized Inference Forms

Volume 102, Issue 3

411 -- 440Alessandro Giordani. A New Semantics for Systems of Logic of Essence
441 -- 478Chrysafis Hartonas. On the Dynamic Logic of Agency and Action
479 -- 497Michael Kaminski, Nissim Francez. Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
499 -- 523Shan Du, Hongkui Kang. On Pretabular Logics in NExtK4 (Part I)
525 -- 539Marcelo E. Coniglio, Martín Figallo. Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
541 -- 566Lev D. Beklemishev, David Fernández Duque, Joost J. Joosten. On Provability Logics with Linearly Ordered Modalities
567 -- 576Samuel A. Alexander. A Machine That Knows Its Own Code
577 -- 607Gillman Payette. Decidability of an Xstit Logic
609 -- 615Jesse Alama. The Simplest Axiom System for Hyperbolic Geometry Revisited, Again
617 -- 646George Voutsadakis. Categorical Abstract Algebraic Logic: Behavioral π-Institutions
647 -- 654Yanjing Wang. Book Reviews
655 -- 662Juan J. Colomina. Review of Bostock's Russell's Logical Atomism

Volume 102, Issue 2

231 -- 234Thomas Ågotnes. Logic and Games: an Introduction
235 -- 265Johan van Benthem. Modeling Reasoning in a Social Setting
267 -- 295John Grant, Sarit Kraus, Michael Wooldridge, Inon Zuckerman. Manipulating Games by Sharing Information
297 -- 319Dominik Klein, Eric Pacuit. Changing Types: Information Dynamics for Qualitative Type Spaces
321 -- 338Ji Ruan, Michael Thielscher. Logical-Epistemic Foundations of General Game Descriptions
339 -- 360Joshua Sack, Wiebe van der Hoek. A Modal Logic for Mixed Strategies
361 -- 388Soumya Paul, Ramaswamy Ramanujam. Subgames within Large Games and the Heuristic of Imitation
389 -- 410Christian G. Fermüller, Christoph Roschger. From Games to Truth Functions: A Generalization of Giles's Game

Volume 102, Issue 1

1 -- 27Rajeev Goré, Revantha Ramanayake. Cut-elimination for Weak Grzegorczyk Logic Go
29 -- 39Jie Fang, Lei-Bo Wang, Ting Yang. The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
41 -- 66Tero Tulenheimo. IF Modal Logic and Classical Negation
67 -- 92José Luis Castiglioni, Renato A. Lewin, Marta Sagastume. On a Definition of a Variety of Monadic ℓ-Groups
93 -- 116Marek Nowak. On Some Generalizations of the Concept of Partition
117 -- 143Daniel Pokrywczynski, Grant Malcolm. Towards a Functional Approach to Modular Ontologies Using Institutions
145 -- 174Thomas Macaulay Ferguson. Extensions of Priest-da Costa Logic
175 -- 183Yuichi Komori, Naosuke Matsuda, Fumika Yamakawa. A Simplified Proof of the Church-Rosser Theorem
185 -- 217Gemma Robles, José M. Méndez. Curry's Paradox, Generalized Modus Ponens Axiom and Depth Relevance
219 -- 223Erich Rast. Book Reviews
225 -- 229Andrzej Tarlecki. Răzvan Diaconescu, Institution-independent Model Theory