Subject area for

Faculty Member
 DR Tim van Gelder Faculty Member
 PROF Graham Priest Faculty Member

Authored Research Books

Book Chapters Other

Conference Papers Refereed

Edited Books

Grant

Journal Articles

Journal Articles Refereed
 A cutfree sequent system for twodimensional modal logic, and why it matters
 Can u do that?
 Chunk and permeate III: the Dirac delta function
 Conditionals in Theories of Truth
 Contraction and revision
 Contradiction and the Instant of Change Revisited
 Definition Inclosed: A Reply to Zhong
 FIRST DEGREE ENTAILMENT, SYMMETRY AND PARADOX
 FirstOrder da Costa Logic
 FixedPoint Models for Theories of Properties and Classes
 Inclosures, Vagueness, and SelfReference
 Indefinite ExtensibilityDialetheic Style
 Intersubstitutivity principles and the generalization function of truth
 Logical Pluralism Hollandaise
 Logical Pluralism: Another Application for Chunk and Permeate
 Lost in Translation: A Reply to Woodward
 NATURAL DEDUCTION SYSTEMS FOR E
 NEIGHBORHOOD SEMANTICS FOR INTENTIONAL OPERATORS
 Nonclassical circular definitions
 Normal Proofs, Cut Free Derivations and Structural Rules
 On Permutation in Simplified Semantics
 On Priest on Nonmonotonic and Inductive Logic
 On artifacts and truthpreservation
 On t and u, and what they can do
 On the Ternary Relation and Conditionality
 One Being an Investigation Into the Unity of Reality and of Its Parts, Including the Singular Object which is Nothingness
 PARADOXICAL PROPOSITIONS
 Pluralism and Proofs
 Polemic as Logic in the Work of Alain Badiou
 Proof Theory for Functional Modal Logic
 Resolving Some Puzzles of Conditional Probability
 SOLOVAYTYPE THEOREMS FOR CIRCULAR DEFINITIONS
 Some New Thoughts on Conditionals
 The Relevant Logic E and Some Close Neighbours
 Thinking Negation in Early Hinduism and Classical Indian Philosophy
 Trees for E
 Truth values and proof theory
 What If? The Exploration of an Idea
 What Is the Specificity of Classical Mathematics?
 What are we to accept, and what are we to reject, while saving truth from paradox?
 Why Being Necessary Really Is Not the Same As Being Not Possibly Not
 Williamson on Counterpossibles

Journal Articles Unrefereed

Journal Articles Unrefereed Letters Or Notes

Major Reference Works

Other Refereed Contribution To Refereed Journals

Research Book Chapters
 A Case of Mistaken Identity
 Always more
 Are Modal Facts Brute Facts?
 Assertion, Denial, Accepting, Rejecting, Symmetry and Paradox
 Assertion, denial and nonclassical theories
 Barriers to Implication
 Bradwardine Hypersequents
 Classical Logic
 Conditionals: A Debate with Jackson
 Creating nonexistents
 Decorated Linear Order Types and the Theory of Concatenation
 Foundations of Logical Consequence
 History of the Consequence Relation
 Inferentialism, structure, and conservativeness
 Interpreting and Applying Proof Theories for Modal Logics
 Logic in Australasia
 Logica vetus
 Metaphysical dependence, east and west
 Models for Substructural Arithmetics
 Molinism and the Thin Red Line
 Negation (abhava), Nonexistents, and a Distinctive pramana in the NyayaMimamsa
 Nineteenth Century German Logic
 None of the Above: The Catuskoti in Indian Buddhist Logic
 Paraconsistent Set Theory
 Proof Theory and Meaning: the context of deducibility
 Proofnets for S5: sequents and circuits for modal logic
 Relevant agents
 Revising logic
 Vague inclosures

Translated Books