Logic and Logical Philosophy > 2014 > 23 > 3 > 301–328
Source
Abstract
Identifiers
journal ISSN : | 1425-3305 , 2300-9802 |
DOI | 10.12775/LLP.2013.026 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
Aumann, R., “Agreeing to disagree”, Annals of Statistics, 4 (1976): 1236–1239. DOI: 10.1214/aos/1176343654
-
Bull, R.A., “Cut elimination for propositional dynamic logic without *”, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 38 (1992): 85–100. DOI: 10.1002/malq.19920380107
-
Dowek, G., “About folding-unfolding cuts and cuts modulo”, Journal of Logic and Computation, 11 (2001): 419–429. DOI: 10.1093/logcom/11.3.419