A Proof-Theoretic Semantics for Exclusion. Francez, N. & Kaminski, M. Logica Universalis, 11(4):489-505, 2017.  
Link  
Paper  bibtex   @article{journals/lu/FrancezK17,
  added-at = {2017-11-29T00:00:00.000+0100},
  author = {Francez, Nissim and Kaminski, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/231e9a8f7989a88f56db7b5d4c897797a/dblp},
  ee = {https://doi.org/10.1007/s11787-017-0179-y},
  interhash = {318bc152a6cb18fc1152fee77a82daee},
  intrahash = {31e9a8f7989a88f56db7b5d4c897797a},
  journal = {Logica Universalis},
  keywords = {dblp},
  number = 4,
  pages = {489-505},
  timestamp = {2017-12-07T18:17:48.000+0100},
  title = {A Proof-Theoretic Semantics for Exclusion.},
  url = {http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17},
  volume = 11,
  year = 2017
} 
Downloads: 0
{"_id":"uWHTsEJsqdZkDJaY3","bibbaseid":"francez-kaminski-aprooftheoreticsemanticsforexclusion-2017","downloads":0,"creationDate":"2018-02-26T16:25:30.606Z","title":"A Proof-Theoretic Semantics for Exclusion.","author_short":["Francez, N.","Kaminski, M."],"year":2017,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/kaminski?items=1000","bibdata":{"bibtype":"article","type":"article","added-at":"2017-11-29T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Francez"],"firstnames":["Nissim"],"suffixes":[]},{"propositions":[],"lastnames":["Kaminski"],"firstnames":["Michael"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/231e9a8f7989a88f56db7b5d4c897797a/dblp","ee":"https://doi.org/10.1007/s11787-017-0179-y","interhash":"318bc152a6cb18fc1152fee77a82daee","intrahash":"31e9a8f7989a88f56db7b5d4c897797a","journal":"Logica Universalis","keywords":"dblp","number":"4","pages":"489-505","timestamp":"2017-12-07T18:17:48.000+0100","title":"A Proof-Theoretic Semantics for Exclusion.","url":"http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17","volume":"11","year":"2017","bibtex":"@article{journals/lu/FrancezK17,\n  added-at = {2017-11-29T00:00:00.000+0100},\n  author = {Francez, Nissim and Kaminski, Michael},\n  biburl = {http://www.bibsonomy.org/bibtex/231e9a8f7989a88f56db7b5d4c897797a/dblp},\n  ee = {https://doi.org/10.1007/s11787-017-0179-y},\n  interhash = {318bc152a6cb18fc1152fee77a82daee},\n  intrahash = {31e9a8f7989a88f56db7b5d4c897797a},\n  journal = {Logica Universalis},\n  keywords = {dblp},\n  number = 4,\n  pages = {489-505},\n  timestamp = {2017-12-07T18:17:48.000+0100},\n  title = {A Proof-Theoretic Semantics for Exclusion.},\n  url = {http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17},\n  volume = 11,\n  year = 2017\n}\n\n","author_short":["Francez, N.","Kaminski, M."],"key":"journals/lu/FrancezK17","id":"journals/lu/FrancezK17","bibbaseid":"francez-kaminski-aprooftheoreticsemanticsforexclusion-2017","role":"author","urls":{"Link":"https://doi.org/10.1007/s11787-017-0179-y","Paper":"http://dblp.uni-trier.de/db/journals/lu/lu11.html#FrancezK17"},"keyword":["dblp"],"downloads":0},"search_terms":["proof","theoretic","semantics","exclusion","francez","kaminski"],"keywords":["dblp"],"authorIDs":[],"dataSources":["ePTwKNCLFT28DzR9b"]}