Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks

On flattening rules in natural deduction calculus for intuitionistic propositional logic

Semantic games and hypersequents: a case study in many valued reasoning

Modus Ponens on the Restrictor View

From Logic to Behavior

Interpretational Logical Truth: The Problem of Admissible Interpretations

Transitory and Permanent Applications of Paraconsistency

A plea for beta-reduction by value

Why designate gluts?

Inconsistent Thinking, Fast and Slow

Doing mathematics paraconsistently. A manifesto

Models of Paraconsistent Set Theory

Can a paraconsistent differential calculus extend the classical differential calculus?

On the Preservation of Reliability

Inconsistent scientific Theories: A Framework

A Paraconsistent Generalization of Carnap's Logic of Theoretical Terms

Negation as modality

Introduction to Networks

Context-dependence and the Semantics-Pragmatics Interface

Attitudes in Epistemology: Belief vs. Credence