Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Philosophy

Automatic Verification of Temporal-Epistemic Properties of Cryptographic Protocols

Journal of Applied Non-Classical Logics

English

Defending Semantic Generalism

English

A Presentation Without an Example?

English

Classifying Conditionals

English

Binding Arguments and Hidden Variables

English

Crimina Carnis and Morally Obligatory Suicide

Ethical Theory and Moral Practice

Social Sciences

English

How to Avoid the Formal Verification of a Theorem Prover

Logic Journal of the IGPL

English

Taurek, Numbers and Probabilities

Ethical Theory and Moral Practice

Social Sciences

English

Papineau on the Vagueness of Phenomenal Concepts

English

Two Types of Multiple-Conclusion Systems

Logic Journal of the IGPL

English