The Quest for Ultimate Ignorance: Iterated Ignorance is Complex! (abstract)

On Some Logics Intermediate Between S4.2 and S4.3 Defined by the Notion of Independence (abstract)

Merging and Evolution of Data Bases: A Many-Logic Approach (abstract)

A Basic Modal Logic for the Abstract Treatment of Quantum Mixed States (abstract)

On Łukasiewicz Topological Semantics (abstract)

On the Construction of Orthomodular Logic via Restricted Negation (abstract)

Arithmetical Characterizations of Two Intuitionistic Logical Principles (abstract)

Bilateralism with Incompatible Proofs and Refutations (abstract)

Constructive Thoroughly Linear Modal Logic (abstract)

A Strongly Complete Infinitary System for Logic of Linear Change (abstract)

Über Überconsistent Logics and Dialetheism (abstract)

Proof-Theoretic Semantics as a Double-Model Semantics (abstract)

On Halldén Completeness in Weak Subintuitionistic Logics (abstract)

Infinitary System for Hybrid Logic of Discrete Linear Time (abstract)

A Tableau Approach to Lewis’ Logic of Counterfactuals (abstract)

Intuitionism, Cycles, and Provability Interpretation (abstract)

Paraclassical Logics with Two Negations (abstract)

Double-Negated Explosion and Natural Deduction (abstract)

Uniform Non-Deterministic Semantics for Ciuciura’s mbC^n-Hierarchy (abstract)

Cyclic Nonassociative Bilinear Logic With Additive Constants as Extension of Full Nonassociative Lambek Calculus (abstract)

Normalisation for a Neutral Free Logic with Definite Descriptions (abstract)

Tableaux Rules for a Hierarchy of Theories of Definite Descriptions in Positive Free Logic (abstract)

Gentzen’s Idea in View of Non-Deterministic Semantics (abstract)

Strongly Paraconsistent Logics of Formal Inconsistency (abstract)

A Note on Okada's Purely Constructive Implication (abstract)

KR Geometry (abstract)

⇝-Generation in Pseudo-Heyting Algebras (abstract)

A Paradox for Substructural Logics (abstract)

Algorithm α for Positive and Negative Properties in Relating Semantics (abstract)

From "Most" to "Likely": Adaptive Logics for Qualified Inductive Prediction (abstract)

Is the Logic of Scientific Understanding a (Double) Conditional Logic? (abstract)

Fundamental and Non-Fundamental Causation in Russell's Metaphysics of Science (abstract)

Quantum Truthmaker Semantics and its Use for Explicating the Difference Between Classical and Quantum Information (abstract)

Towards Ontology of Causation (abstract)

Cut-free Sequent Calculi for Fregean Logic of Classes (abstract)

Definite Description with Counterparts (abstract)

The Spectrum of Free Theories of Definite Descriptions: A Forgotten Research Programme (abstract)

A New Positive Free Modal Logic with Definite Descriptions (abstract)

Global Caching in Tableaux for Description Logic with Definite Descriptions (abstract)

Ongoing Research on Characterisation Theorems for Lightweight Description Logics with Definite Descriptions (abstract)

Python-Based Implementation of the Tableau Calculus for Quine's Logic of Classes (abstract)

A Canonical Representation Theorem for Finite Ordered Monoids with Aligned Local Units (abstract)

From Deontic to Deontic Relating Logic: Motivations, Examples of Applications, and Ways of Extensions (abstract)