Search filters

List of works by

A Seligman-Style Tableau System

A formulation of linear logic based on dependency-relations

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

scientific article published on 10 August 2019

Completeness and termination for a Seligman-style tableau system

scientific article published on 28 September 2015

Cut-Elimination for Full Intuitionistic Linear Logic

Intuitionistic hybrid logic

article published in 2006

Many-valued hybrid logic

Preface

Preface

Preface

Preface

scientific article published on 07 July 2011

Paulina is supported by:

About Paulina

Help