Every now and then one comes upon a genuinely new idea. Professor Saras Sarsvathy's
idea of effectuation is one such. Effectuation is a refreshingly new look at the old …

Notice that, despite its familiarity,(V) does not give us a complete account of logical
consequence. To construct a logic we need an accurate and systematic account of which …

The development of subjective logic has been a journey, on which this book represents a
milestone. The original idea of subjective logic came to my mind in 1996, while I was a Ph …

The latter half of the 20th Century witnessed an 'intensional revolution': a great collective
effort to analyse notions which are absolutely fundamental to our understanding of the world …

An overview of hyperintensionality is provided. Hyperintensional languages have
expressions with meanings that are more fine-grained than necessary equivalence. That is …

This book concerns mental states such as thinking that Obama is tall, imagining that there
will be a climate change catastrophe, knowing that one is not a brain in a vat, or believing …

Specifically, my theories of health and disease in Section 7.3, of etiology in Section 7.5, and
of diagnosis in Section 9.2 are based on my “Fundamentals of clinical methodology”, 1-4, in …

This book continues from where the authors' previous book, Structural Proof Theory, ended.
It presents an extension of the methods of analysis of proofs in pure logic to elementary …

We introduce a hierarchy of fast-growing complexity classes and show its suitability for
completeness statements of many nonelementary problems. This hierarchy allows the …

This article introduces, studies, and applies a new system of logic which is called 'HYPE'. In
HYPE, formulas are evaluated at states that may exhibit truth value gaps (partiality) and truth …