Oxford University Press Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Modal Logic: An Introduction to its Syntax and Semantics

Oxford University Press

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Springer

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Oxford University Press

The Oxford Handbook of Philosophy of Mathematics and Logic

Oxford University Press

Springer - Modalities and Multimodalities (Logic, Vol. 12)

Springer

Modalities and Multimodalities: 12 (Logic, Epistemology, and the Unity of Science, 12)

Springer

A Philosophical Introduction to Higher-order Logics

A Companion to the Philosophy of Language (Blackwell Companions to Philosophy)

Modality (Central Problems of Philosophy)

Routledge

A New Introduction to Modal Logic

Routledge

Modal Logic as Metaphysics

Oxford University Press

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Oxford University Press

North Holland Philosophy of Mathematics - Handbook of Science

North Holland

A New Introduction to Modal Logic

Routledge

Identity and Modality (Mind Association Occasional Series)

Oxford University Press

Higher-Order Metaphysics

Oxford University Press

Routledge - A Philosophical Introduction to Higher-order Logics

Routledge

Propositional and Predicate Calculus: A Model of Argument

Springer

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

Springer

Type Theory and Formal Proof: An Introduction

Cambridge University Press

Handbook of Philosophical Logic: Volume 8

Springer

Handbook of Philosophical Logic: Volume 14

Springer