Non-deterministic semantics as a tool for modeling negation and modality.

A Formal Approach to The Structure of Reasons

Modality and provability from the perspective of non-deterministic semantics.

The Invisible Forces That Shape Interaction: A Formal Account of Institutions and Their Impact on Decision-Making.

Fighting the Good Fight: An exploration of the consequential just war constraints of necessity and proportionality

Fine-Grained Logics for Normative Reasoning

Structured argumentation frameworks for the formalization and evaluation of practical, defeasible reasoning patterns

Towards a more integrated formal account of actual ethical reasoning, with applications in medical ethics.

Informal provability in mathematics as a partial notion.

Reasoning with Priorities: Broadening the Scope

Adaptive logics and argumentative approach rebuttable argument forms.

Mathematical theories with parsimonious ontologies: their strengths and limitations

Reasoning with Priorities: Broadening the Scope

Fromal characterizations of defaesible reasoning forms: the capacities ans limits of the standard format for adaptive logics

A judgemental theory of collectieve modal knowledge with applications.

A logical-philosophical analysis of the structure and dynamics of values.

Concept Modelling in Fuzzy logic

Constructive Type-Theory

The causal structure of scientific theories and the nature of intertheoretic relations

The use of adaptive logics for the practice and the philosophy of mathematics and the use of mathematical tools for the abstract analysis of adaptive logics

A general characterization of goal-directed proof procedures

Revolutions, research traditions and rationality

Logico-philosophical study of “relevance” in scientific and common sense reasoning.