Advanced search
1 file | 296.73 KB

Free choice permission in STIT

(2017) Logica yearbook 2016. p.289-303
Author
Organization
Keywords
Proof-theoretic semantics, harmony, sequent calculi, doubleline rules, inversion principles

Downloads

  • FCP for Logica - corrected version.pdf
    • full text
    • |
    • open access
    • |
    • PDF
    • |
    • 296.73 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Van De Putte, Frederik. 2017. “Free Choice Permission in STIT.” In Logica Yearbook 2016, 289–303. College Publications.
APA
Van De Putte, Frederik. (2017). Free choice permission in STIT. Logica yearbook 2016 (pp. 289–303). College Publications.
Vancouver
1.
Van De Putte F. Free choice permission in STIT. Logica yearbook 2016. College Publications; 2017. p. 289–303.
MLA
Van De Putte, Frederik. “Free Choice Permission in STIT.” Logica Yearbook 2016. College Publications, 2017. 289–303. Print.
@incollection{8538072,
  author       = {Van De Putte, Frederik},
  booktitle    = {Logica yearbook 2016},
  keyword      = {Proof-theoretic semantics,harmony,sequent calculi,doubleline rules,inversion principles},
  language     = {eng},
  pages        = {289--303},
  publisher    = {College Publications},
  title        = {Free choice permission in STIT},
  url          = {https://epub.ub.uni-muenchen.de/41342/},
  year         = {2017},
}