Group Epistemics, (Co-)algebraically (abstract)

Birkhoff style proof systems for hybrid-dynamic quantum logic (abstract)

Deducibility in the full Lambek calculus with weakening is HAck-complete (abstract)

On the Proof Theory of Apodictic Syllogistic (abstract)

Natural Deduction, Normalization and Subformula Property for Kreisel-Putnam Logic (abstract)

A matrix-oriented view of bisimulation quotients over dioid-labeled transition systems (abstract)

Formal properties of stochastic matrices for subjective probabilistic operators in kripke frames (abstract)

Developments in higher-dimensional automata theory (abstract)

Relation-Algebraic Approach to Qualitative Calculi (abstract)

Unification with Simple Variable Restrictions and Admissibility of Pi2-Rules (abstract)

Coalgebraic Semantics for Intuitionistic Modal Logic (abstract)

Variety of pointed Abelian l-groups (abstract)

Right-orders on free groups (abstract)

Point-Set Neighborhood Logic (abstract)

Lovász Theorems for Modal Languages (abstract)

On the structure of balanced residuated partially-ordered monoids (abstract)

Frames and spaces for distributive quasi relation algebras and involutive FL-algebras (abstract)

Efficient Theorem-Proving for Modal Logics (abstract)

Towards Dynamic Distributed Knowledge (abstract)

Varieties of Distributed Knowledge (abstract)

Bisimulation for Impure Simplicial Complexes (abstract)

Logics for Data Exchange and Communication (abstract)

Fuzzy and crisp binary relation reduction: applications for data summarization and anomalies detections (abstract)

Monotone Ω-sup-fuzzy relations: converse and complementation (abstract)

Lifting star-autonomy (abstract)

Logics of Knowability (abstract)

A modal logic for reasoning in contexts (abstract)

Varieties of BL-algebras with the amalgamation property: an exhaustive classification (abstract)

Tabular and pretabular varieties of MTL-algebras (abstract)

Epistemic Positions: Towards a Formal Theory of Epistemic Injustice (abstract)

Simplicial Belief (abstract)

Substitution as Modality (abstract)

An Aretaic Approach to Deontic Logic (abstract)

Positive modal logic over finite MV-chains (abstract)

Towards an Algebraic Theory of KD45-like Logics (abstract)

Modal logic, fundamentally (abstract)

Goldblatt-Thomason Theorems for Fundamental (Modal) Logic (abstract)

Pushing the Limits of Kleene Algebra (abstract)

On the system of positive slices in the structure of superintuitionistic predicate logics (abstract)

Informative Presupposition in Inquisitive Logic (abstract)

Intuitionistic Master Modality (abstract)

Coalgebraic proof translations of non-wellfounded proofs (abstract)

Restructuring a concurrent refinement algebra (abstract)

Irrationality of process replication for higher-dimensional automata (abstract)

Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops (abstract)

Knowability As Continuity: The Modal Logic of Continuous and Uniform Dependence (abstract)

The complexity of reasoning about classifiers (abstract)

LEGO-like Small Model Constructions for Åqvist’s Logics (abstract)

Complete congruences of completely distributive lattices (abstract)

Data migration under a changing schema in ampersand (abstract)

Promise algebra: a functional approach to non-deterministic computations (abstract)

Towards a relation-algebraic account of control flow graph analysis (abstract)

The exact correspondence between intuitionistic and modal logic (abstract)

Modal Models in the Premodal Language (abstract)

Fusions of canonical predicate modal logics are canonical (abstract)

Products of Horn Modal Logics (abstract)

Decomposition of Finite-Valued Transducers

First-order Probabilistic Logic with Sequence Variables and Unranked Symbols (abstract)

Canonical Extensions of Fuzzy Algebras (abstract)

Nested proof theory for quasi-transitive modal logics (abstract)

Cyclic group spectra for some small relation algebras (abstract)

Presenting interval pomsets with interfaces (abstract)

Modal Logics in Dynamical Systems (abstract)

The Goldblatt-Thomason theorem for derivative spaces (abstract)

Strong Kripke completeness of the closed fragment of GLP (abstract)

A tree rewriting system for the Reflection Calculus (abstract)

Logics of polyhedral reachability (abstract)

Better Bounded Bisimulation Contractions (abstract)

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic (abstract)

A First-order Modal Logic of Strict Implication on Varying-Domain Models (abstract)

Some General Completeness Results for Propositionally Quantified Modal Logics (abstract)

Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic (abstract)

The Interpolant Existence Problem for Weak K4 and Difference Logic (abstract)