Learning Context-Free Grammars from Positive Data and Membership Queries
The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians
From Gödel's Incompleteness Theorem to the completeness of bot beliefs
Quantitative Global Memory
Effective Skolemization
Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember'
Two-layered logics for paraconsistent probabilities
An Axiom System for Hybrid Logic with Propositional Quantifiers
An Evidence Logic Perspective on Schotch-Jennings Forcing
A separation logic with histories of epistemic actions as resources
Conditional Obligations in Justification Logic
Structural Completeness and Superintuitionistic Inquisitive Logics
Validity in Choice Logics - A Game-theoretic Investigation
Aleatoric Propositions: Reasoning about Coins
Towards an induction principle for nested data types
A principled approach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule
Parameterized Complexity of Propositional Inclusion and Independence Logic
Parallelism in Realizability Models
Bisimulations between Verbrugge models and Veltman models
Focus-style proofs for the two-way alternation-free $\mu$-calculus
Relevant Reasoning and Implicit Beliefs
Decidability of modal logics of non-k-colorable graphs
Subsumption-Linear Q-Resolution for QBF Theorem Proving
Maximally Multi-Focused Proofs for Skew Non-Commutative MILL.