- Discrete Duality for Nelson Algebras with Tense Operators
- Loop-Check Specification for a Sequent Calculus of Temporal Logic
- The G4i Analogue of a G3i Sequent Calculus
- On Relative Principal Congruences in Term Quasivarieties
- Logics of Order and Related Notions
- Nils Kürbis, Proof and Falsity: A Logical Investigation, Cambridge University Press, 2019, pp. 316; ISBN: 978-110-87-1672-7 (Softcover)£24.99, ISBN: 978-110-84-8130-4 (Hardcover)£78.99, ISBN: 978-110-86-2517-3 (eBook) $26.00.
- Natural Deduction Systems for Intuitionistic Logic with Identity
- Correction to: Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €.
- Beishui Liao, Thomas Ågotnes, Yi N. Wang, (eds.), Dynamics, Uncertainty and Reasoning, vol. 4 of Logic in Asia: Studia Logica Library, Springer, Singapore, 2019, pp. 207+xii; ISBN: 978-981-13-7793-8 (Softcover) 117,69 €, ISBN: 978-981-13-7790-7 (Hardcover) 160,49 €, ISBN: 978-981-13-7791-4 (eBook) 93,08 €.
- On the Proof Theory of Infinitary Modal Logic
- Modal Companions of $$K4^{+}$$ K 4 +
- Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
- A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics
- Correction to: A Modal View on Resource-Bounded Propositional Logics
- Two Maximality Results for the Lattice of Extensions of $$vdash _{mathbf {RM}}$$ ⊢ RM
- Contact Join-semilattices
- On Independent Axiomatizability of Quasi-Normal Modal Logics
- Splittings in Subreducts of Hoops
- On Groupoids of Relations with One Conjunctive Operation of Rank 2
- Correction to: Group Representation for Even and Odd Involutive Commutative Residuated Chains
- On Extracting Variable Herbrand Disjunctions
- Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions
- A Modal View on Resource-Bounded Propositional Logics
- Generalizing Deontic Action Logic
- Can Başkent, Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer International Publishing, Outstanding Contributions to Logic, Vol. 18, 2019, pp. 704+xi; ISBN 978-3-030-25367-7 (Softcover) 106.99 €, ISBN 978-3-030-25364-6 (Hardcover) 149.79 €.
- Twist Structures and Nelson Conuclei
- An Analysis of Poly-connexivity
- Group Representation for Even and Odd Involutive Commutative Residuated Chains
- Calculi of Epistemic Grounding Based on Prawitz’s Theory of Grounds
- On Cut-Elimination Arguments for Axiomatic Theories of Truth
- Three Ways of Being Non-Material
- Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
- Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion
- Hennessy-Milner and Van Benthem for Instantial Neighbourhood Logic
- Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
- A Semantics for Hyperintensional Belief Revision Based on Information Bases
- Sequent Calculi for the Propositional Logic of HYPE
- Two Decision Procedures for da Costa’s $$C_n$$ C n Logics Based on Restricted Nmatrix Semantics
- The Naturality of Natural Deduction (II): On Atomic Polymorphism and Generalized Propositional Connectives
- A Characterization of Probability-based Dichotomous Belief Revision
- From Semantic Games to Provability: The Case of Gödel Logic
- A Generalization of Monadic n-Valued Łukasiewicz Algebras
- An Abductive Question-Answer System for the Minimal Logic of Formal Inconsistency $$mathsf {mbC}$$ mbC
- Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem
- Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds
- Sequent-Calculi for Metainferential Logics
- Extending the Lambek Calculus with Classical Negation
- On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics
- A Categorical Equivalence for Tense Nelson Algebras
- A Binary Quantifier for Definite Descriptions for Cut Free Free Logics
- $$mathrm {ZF}$$ ZF Between Classicality and Non-classicality
- On Inclusions Between Quantified Provability Logics
- Idempotent Variations on the Theme of Exclusive Disjunction
- Poset Products as Relational Models
- Curry–Howard–Lambek Correspondence for Intuitionistic Belief
- A Few Notes on Quantum B-algebras
- On Implicational Intermediate Logics Axiomatizable by Formulas Minimal in Classical Logic: A Counter-Example to the Komori–Kashima Problem
- The Calculus of Natural Calculation
- Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic
- Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics
- Bayesian Belief Revision Based on Agent’s Criteria
- Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi
- Neighbourhood Semantics for FDE-Based Modal Logics
- Residuated Structures and Orthomodular Lattices
- Incompleteness and the Halting Problem
- Transitive Logics of Finite Width with Respect to Proper-Successor-Equivalence
- Hyper-MacNeille Completions of Heyting Algebras
- Lattices of Finitely Alternative Normal Tense Logics
- Endogenizing Epistemic Actions
- Containment Logics: Algebraic Completeness and Axiomatization
- Inquisitive Heyting Algebras
- Logic of Convex Order
- Leo Esakia, Heyting Algebras: Duality Theory, Guram Bezhanishvili and Wesley A. Holliday, (eds.), Springer International Publishing, Series: Trends in Logic , Vol. 50, 2019, pp. 95+xv
- Correction to: The Hahn Embedding Theorem for a Class of Residuated Semigroups
- Positive Monotone Modal Logic
- A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication
- An Algebraic Study of S5-Modal Gödel Logic
- Confluence Proofs of Lambda-Mu-Calculi by Z Theorem
- Games and Bisimulations for Intuitionistic First-Order Kripke Models
- Free Logics are Cut-Free
- A Cut-Elimination Proof in Positive Relevant Logic with Necessity
- Correction to: Lambek Calculus with Conjugates
- Positive Announcements
- Belnap–Dunn Modal Logic with Value Operators
- Labelled Sequent Calculi for Lewis’ Non-normal Propositional Modal Logics
- Relational Representation Theorems for Extended Contact Algebras
- A Characteristic Frame for Positive Intuitionistic and Relevance Logic
- The Poset of All Logics III: Finitely Presentable Logics
- Measuring Inconsistency in Some Logics with Modal Operators
- Lambek Calculus with Conjugates
- Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
- Non-classical Models of ZF
- The Entropy-Limit (Conjecture) for $$Sigma _2$$ Σ 2 -Premisses
- Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics
- Axiomatization of Crisp Gödel Modal Logic
- Double Negation Semantics for Generalisations of Heyting Algebras
- Kripke Semantics for Intuitionistic Łukasiewicz Logic
- An Algebraic Study of Tense Operators on Nelson Algebras
- A Generalized Proof-Theoretic Approach to Logical Argumentation Based on Hypersequents
- Recapturing Dynamic Logic of Relation Changers via Bounded Morphisms
- Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability
- A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property
- Non-distributive Relatives of ETL and NFL
- New Foundations for Branching Space-Times
- Semi De Morgan Logic Properly Displayed
- A General Framework for $$ {FDE}$$FDE -Based Modal Logics
- A Canonical Model for Constant Domain Basic First-Order Logic
- Joanna Golińska-Pilarek and Michał Zawidzki, (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Springer International Publishing, Series: Outstanding Contributions to Logic , Vol. 17, 2018, pp. 502
- Definable Operators on Stable Set Lattices
- Reasoning Continuously: A Formal Construction of Continuous Proofs
- Reusing Topological Nexttime Logic
- On Correspondence of Standard Modalities and Negative Ones on the Basis of Regular and Quasi-regular Logics
- The Hahn Embedding Theorem for a Class of Residuated Semigroups
- Notes on Leitgeb’s What Truth Depends on
- A Proof Theory for the Logic of Provability in True Arithmetic
- On Modal Logics of Model-Theoretic Relations
- Logics for Belief as Maximally Plausible Possibility
- Disjunctive and Conjunctive Multiple-Conclusion Consequence Relations
- Integrally Closed Residuated Lattices
- About the Unification Type of Modal Logics Between $$mathbf {KB}$$KB and $$mathbf {KTB}$$KTB
- Adaptive Fregean Set Theory
- Subminimal Logics in Light of Vakarelov’s Logic
- From Permissions to Obligations and Beyond: An Editorial
- Herzberger’s Limit Rule with Labelled Sequent Calculus
- Proof Theory of Paraconsistent Weak Kleene Logic
- Polarity Semantics for Negation as a Modal Operator
- Satisfiability is False Intuitionistically: A Question from Dana Scott
- Understanding Hohfeld and Formalizing Legal Rights: The Hohfeldian Conceptions and Their Conditional Consequences
- S. Demri, V. Goranko, M. Lange, Temporal Logics in Computer Science — Finite-State Systems
- L -effect Algebras
- Justification Logic with Confidence
- Raymond Smullyan, A Beginner’s Further Guide to Mathematical Logic
- A Note on Strong Axiomatization of Gödel Justification Logic
- Proof Theory for Positive Logic with Weak Negation
- Interpolation in Extensions of First-Order Logic
- Jan Dejnožka, The Concept of Relevance and the Logic Diagram Tradition
- Enrico Martino, Intuitionistic Proof Versus Classical Truth: The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics, Springer, 2018
- Rosser Provability and Normal Modal Logics
- Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic
- Jan von Plato, Saved from the Cellar. Gerhard Gentzen’s Shorthand Notes on Logic and the Foundations of Mathematics
- Truthmakers and Normative Conflicts
- Inner-Model Reflection Principles
- The Explosion Calculus
- A Refined Interpretation of Intuitionistic Logic by Means of Atomic Polymorphism
- Simplified Kripke-Style Semantics for Some Normal Modal Logics
- Bayesian Confirmation or Ordinary Confirmation?
- From Oughts to Goals: A Logic for Enkrasia
- Correction to: Complexity of the Universal Theory of Modal Algebras
- A General Framework for Probabilistic Measures of Coherence
- Simple Axiomatizations for Pretabular Classical Relevance Logics
- Normality, Non-contamination and Logical Depth in Classical Natural Deduction
- Infinite Forcing and the Generic Multiverse
- Epimorphisms, Definability and Cardinalities
- Extended Contact Algebras and Internal Connectedness
- Complexity of the Universal Theory of Modal Algebras
- 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
- When is a Schema Not a Schema? On a Remark by Suszko
- Countably Many Weakenings of Belnap–Dunn Logic
- Valuations: Bi, Tri, and Tetra
- A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences
- The Balanced Pseudocomplemented Ockham Algebras with the Strong Endomorphism Kernel Property
- Varieties of BL-Algebras III: Splitting Algebras
- Deontology of Compound Actions
- Disjunction and Existence Properties in Inquisitive First-Order Logic
- Completeness in Equational Hybrid Propositional Type Theory
- Arrovian Aggregation of Generalised Expected-Utility Preferences: (Im)possibility Results by Means of Model Theory
- Categorical Equivalence Between $$varvec{PMV}_{varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$varvec{f}_{varvec{u}}$$ f u -Rings
- Categorical Equivalence Between $$varvec{PMV}_{varvec{f}}$$ PMV f -Product Algebras and Semi-Low $$varvec{f}_{varvec{u}}$$ f u -Rings
- Translations Between Gentzen–Prawitz and Jaśkowski–Fitch Natural Deduction Proofs
- Nonmonotonicity in the Framework of Parametric Logic
- General Proof Theory: Introduction
- Causal Learning with Occam’s Razor
- Logics for Social Behaviour: An Editorial
- Holger Andreas and Peter Verdée (eds.), Logical Studies of Paraconsistent Reasoning in Science and Mathematics
- David Marker, Lectures on Infinitary Model Theory
- On Tarski’s Axiomatization of Mereology
- Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics
- A Study in Grzegorczyk Point-Free Topology Part II: Spaces of Points
- Propositional Epistemic Logics with Quantification Over Agents of Knowledge (An Alternative Approach)
- A Propositional Dynamic Logic for Instantial Neighborhood Semantics
- Eight Inference Rules for Implication
- Theory Choice, Theory Change, and Inductive Truth-Conduciveness
- Truth-Tracking by Belief Revision
- Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
- Kosta Došen (1954–2017)
- Epistemic Logic, Monotonicity, and the Halbach–Welch Rapprochement Strategy
- Dynamic Epistemic Logics of Diffusion and Prediction in Social Networks
- Massimiliano Carrara, Alexandra Arapinis and Friederike Moltmann (eds.), Unity and Plurality. Logic, Philosophy, and Linguistics, OUP: Oxford, 2016, xv + 259 pp., ISBN: 978-019-8716-32-7 (hardback) £45, (kindle) £36.
- MS-Algebras Whose e-Ideals are Kernel Ideals
- Axiomatizing the Logic of Imagination
- Back to Basics: Belief Revision Through Direct Selection
- Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12)
- Sequent Calculi for Global Modal Consequence Relations
- An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events
- The Dynamics of Epistemic Attitudes in Resource-Bounded Agents
- On Monadic Operators on Modal Pseudocomplemented De Morgan Algebras and Tetravalent Modal Algebras
- A Categorical Equivalence for Stonean Residuated Lattices
- A Duality for Involutive Bisemilattices
- Willem Conradie and Valentin Goranko, Logic and Discrete Mathematics: A Concise Introduction . Wiley, 2015, pp. 450. ISBN-13: 978-1-118-75127-5 (paperback) $42, ISBN-10: 978-1-118-75127-2 (eBook) $37.99
- Analyticity, Balance and Non-admissibility of $$varvec{Cut}$$ Cut in Stoic Logic
- On Principal Congruences in Distributive Lattices with a Commutative Monoidal Operation and an Implication
- Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study
- Intermediate Logics Admitting a Structural Hypersequent Calculus
- A Deterministic Weakening of Belnap–Dunn Logic
- The Birth of Social Choice Theory from the Spirit of Mathematical Logic: Arrow’s Theorem in the Framework of Model Theory
- A New Proof of the McKinsey–Tarski Theorem
- Logics for Moderate Belief-Disagreement Between Agents
- Pure Modal Logic of Names and Tableau Systems
- Duality Theory and Skeleta for Semisimple MV-Algebras
- Ralf Schindler, Set Theory: Exploring Independence and Truth . Springer International Publishing, 2014, pp. 332+X. ISBN: 978-3-319-06724-7 (softcover) $79.99, ISBN: 978-3-319-06725-4 (eBook) $59.99
- Postponement of $$mathsf {raa}$$ raa and Glivenko’s Theorem, Revisited
- The Fundamental Problem of General Proof Theory
- A Study in Grzegorczyk Point-Free Topology Part I: Separation and Grzegorczyk Structures
- Axiomatizing Jaśkowski’s Discussive Logic $$mathbf {D_2}$$ D 2
- The Monodic Fragment of Propositional Term Modal Logic
- Principal and Boolean Congruences on $$varvec{IKt}$$ IKt -Algebras
- Arithmetical Soundness and Completeness for $$varvec{Sigma }_{varvec{2}}$$ Σ 2 Numerations
- A Logical Analysis of Monty Hall and Sleeping Beauty
- Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic
- Logicality, Double-Line Rules, and Modalities
- Is There a “Hilbert Thesis”?
- Proof Compression and NP Versus PSPACE
- Gödel on Deduction
- The Naturality of Natural Deduction
- The Category of Node-and-Choice Preforms for Extensive-Form Games
- Hereditarily Structurally Complete Superintuitionistic Deductive Systems
- Topological-Frame Products of Modal Logics
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic
- General Extensional Mereology is Finitely Axiomatizable
- Rivals to Belnap–Dunn Logic on Interlaced Trilattices
- Latarres, Lattices with an Arrow
- Poset Product and BL-Chains
- First-Order Modal Logic: Frame Definability and a Lindström Theorem
- Finitary Extensions of the Nilpotent Minimum Logic and (Almost) Structural Completeness
- Varieties of BL-Algebras II
- Two Kinds of Consequential Implication
- Hintikka’s Independence-Friendly Logic Meets Nelson’s Realizability
- 40 years of FDE: An Introductory Overview
- l -Hemi-Implicative Semilattices
- A Characterization of a Semimodular Lattice
- Eliciting Uncertainties: A Two Structure Approach
- Sequent Calculi for $${mathsf {SCI}}$$ SCI
- Reconstructing the Topology of the Elementary Self-embedding Monoids of Countable Saturated Structures
- Truth, Partial Logic and Infinitary Proof Systems
- Disentangling FDE -Based Paraconsistent Modal Logics
- Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant
- Jakub Szymanik, Quantifiers and Cognition. Logical and Computational Perspectives. Springer, 2016. Pp. xii+211. ISBN: 978-3-319-28749-2 (hardcover) EUR 106,99; eBook EUR 83,29
- First-Degree Entailment and its Relatives
- Sequent Calculi for Semi-De Morgan and De Morgan Algebras
- Equivalences Among Polarity Algorithms
- Stone-Type Representations and Dualities for Varieties of Bisemilattices
- Propositional Epistemic Logics with Quantification Over Agents of Knowledge
- Private Announcements on Topological Spaces
- Gödel’s Natural Deduction
- Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics
- Interpolation in 16-Valued Trilattice Logics
- An Algebraic View of Super-Belnap Logics
- On Argumentation Logic and Propositional Logic
- Deduction and Reduction Theorems for Inferential Erotetic Logic
- Semi-intuitionistic Logic with Strong Negation
- A Second Pretabular Classical Relevance Logic
- Proof Theory for Functional Modal Logic
- Infinite Populations, Choice and Determinacy
- Arithmetical Completeness Theorem for Modal Logic $$mathsf{K}$$ K
- Correspondence Between Kripke Frames and Projective Geometries
- A Geometrical Representation of the Basic Laws of Categorial Grammar
- Kleene Algebras and Logic: Boolean and Rough Set Representations, 3-Valued, Rough Set and Perp Semantics
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
- A Proof-Theoretic Bound Extraction Theorem for CAT $$(kappa )$$ ( κ ) -Spaces
- Rasiowa–Harrop Disjunction Property
- Distributivity for Upper Continuous and Strongly Atomic Lattices
- Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus
- Proof Analysis of Peirce’s Alpha System of Graphs
- The Finite Model Property for Logics with the Tangle Modality
- Paraconsistent Double Negations as Classical and Intuitionistic Negations
- Provably True Sentences Across Axiomatizations of Kripke’s Theory of Truth
- Bisimulation for Conditional Modalities
- The Structure Group of a Generalized Orthomodular Lattice
- William Ewald and Wilfried Sieg (eds.), Michael Hallett (associate ed.), David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933 . In collaboration with Ulrich Majer and Dirk Schlimm (David Hilbert’s Lectures on the Foundations of Mathematics and Physics, 1891–1933, Vol. 3), Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 (hardcover) $129.00, (Kindle) $86.37.
- Logic for Describing Strong Belief-Disagreement Between Agents
- Norihiro Kamide and Heinrich Wansing, Proof Theory of N4-related Paraconsistent Logics. Studies in Logic vol. 54. College Publications, 2015, pp. 414. ISBN-13: 978-1848901674 (paperback) $20.50.
- The Strong Endomorphism Kernel Property in Double MS-Algebras
- Connecting Actions and States in Deontic Logic
- Interpolation Methods for Dunn Logics and Their Extensions
- A Simple Sequent Calculus for Angell’s Logic of Analytic Containment
- Four-Valued Paradefinite Logics
- Probabilistic Logics with Independence and Confirmation
- General-Elimination Stability
- On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis
- Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity
- Studies on Brutal Contraction and Severe Withdrawal
- Notes on the Computational Aspects of Kripke’s Theory of Truth
- Genuine Coherence as Mutual Confirmation Between Content Elements
- Dov Gabbay, Reactive Kripke Semantics
- Boolean Paradoxes and Revision Periods
- The Strong Version of a Sentential Logic
- Restricted Priestley Dualities and Discriminator Varieties
- Relativised Homomorphism Preservation at the Finite Level
- Convex MV-Algebras: Many-Valued Logics Meet Decision Theory
- Paraconsistent Logic, Evidence, and Justification
- Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison
- Expansions of Dually Pseudocomplemented Heyting Algebras
- Metamathematical Properties of a Constructive Multi-typed Theory
- Subdirectly Irreducible IKt-Algebras
- Normal Modal Logics Determined by Aligned Clusters
- Book Reviews
- Erratum to: Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation $${2(x^2) = (2x)^2}$$ 2 ( x 2 ) = ( 2 x ) 2