Author:
Francez Nissim,Kaminski Michael
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Logic
Reference6 articles.
1. Dekker, P.: Exclusively indexical deduction. Rev. Symb. Log. 9(3), 603–637 (2016). doi:
10.1017/S1755020316000125
2. Dummett, M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)
3. Francez, N.: Proof-theoretic Semantics. College Publications, London (2015)
4. Pfenning, F., Davies, R.: A judgmental reconstruction of modal logic. Math. Struct. Comput. Sci. 11, 511–540 (2001)
5. Prior, A.N.: The runabout inference-ticket. Analysis 21, 38–39 (1960)