Advanced search    
Sort by: ▼ relevance publication date title journal

Search: authors:"Jonathan Payne"

1 papers found.
Use AND, OR, NOT, +word, -word, "long phrase", (parentheses) to fine-tune your search.

Natural Deduction for Modal Logic with a Backtracking Operator

Jonathan Payne 0 0 J. Payne ( ) Institute of Philosophy, University of London , Senate House, Malet Street, London , WC1E 7HU, UK Harold Hodes in [1] introduces an extension of first-order modal