Natural Deduction for Modal Logic with a Backtracking Operator
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605539065 | ||
| 003 | CHVBK | ||
| 005 | 20210128100905.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150601xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10992-014-9316-8 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10992-014-9316-8 | ||
| 100 | 1 | |a Payne |D Jonathan |u Institute of Philosophy, University of London, Senate House, Malet Street, WC1E 7HU, London, UK |4 aut | |
| 245 | 1 | 0 | |a Natural Deduction for Modal Logic with a Backtracking Operator |h [Elektronische Daten] |c [Jonathan Payne] |
| 520 | 3 | |a Harold Hodes in [1] introduces an extension of first-order modal logic featuring a backtracking operator, and provides a possible worlds semantics, according to which the operator is a kind of device for ‘world travel'; he does not provide a proof theory. In this paper, I provide a natural deduction system for modal logic featuring this operator, and argue that the system can be motivated in terms of a reading of the backtracking operator whereby it serves to indicate modal scope. I prove soundness and completeness theorems with respect to Hodes' semantics, as well as semantics with fewer restrictions on the accessibility relation (Hodes restricts his attentionto S5). | |
| 540 | |a The Author(s), 2014 | ||
| 690 | 7 | |a Modal logic |2 nationallicence | |
| 690 | 7 | |a Backtracking |2 nationallicence | |
| 690 | 7 | |a Natural deduction |2 nationallicence | |
| 773 | 0 | |t Journal of Philosophical Logic |d Springer Netherlands |g 44/3(2015-06-01), 237-258 |x 0022-3611 |q 44:3<237 |1 2015 |2 44 |o 10992 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10992-014-9316-8 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10992-014-9316-8 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Payne |D Jonathan |u Institute of Philosophy, University of London, Senate House, Malet Street, WC1E 7HU, London, UK |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Journal of Philosophical Logic |d Springer Netherlands |g 44/3(2015-06-01), 237-258 |x 0022-3611 |q 44:3<237 |1 2015 |2 44 |o 10992 | ||