publications:
- title: "On Explicit Substitution and Names (Extended Abstract)"
  author:
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "1997"
  researchr: "https://researchr.org/publication/RitterP97"
  cites: 0
  citedby: 0
  pages: "248-258"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "RitterP97"
- title: "Forthcoming Papers"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Michael Mendler"
    link: "https://researchr.org/alias/michael-mendler"
  year: "2004"
  doi: "http://dx.doi.org/10.1093/logcom/14.4.621"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/14.4.621"
  researchr: "https://researchr.org/publication/PaivaGM04a"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "14"
  number: "4"
  pages: "621-622"
  kind: "article"
  key: "PaivaGM04a"
- title: "Linear Lambda-Calculus and Categorial Models Revisited"
  author:
  - name: "P. N. Benton"
    link: "https://researchr.org/alias/p.-n.-benton"
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Martin Hyland"
    link: "https://researchr.org/alias/martin-hyland"
  year: "1992"
  researchr: "https://researchr.org/publication/BentonBPH92"
  cites: 0
  citedby: 0
  pages: "61-84"
  booktitle: "csl"
  kind: "inproceedings"
  key: "BentonBPH92"
- title: "Editorial"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Rajeev Goré"
    link: "https://researchr.org/alias/rajeev-gor%C3%A9"
  - name: "Michael Mendler"
    link: "https://researchr.org/alias/michael-mendler"
  year: "2004"
  doi: "http://dx.doi.org/10.1093/logcom/14.4.439"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/14.4.439"
  researchr: "https://researchr.org/publication/PaivaGM04"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "14"
  number: "4"
  pages: "439-446"
  kind: "article"
  key: "PaivaGM04"
- title: "Constructive Description Logics Hybrid-Style"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "Alexandre Rademaker"
    link: "http://arademaker.github.com/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.06.010"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/PaivaHR11"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PaivaHR11"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "273"
  pages: "21-31"
  kind: "article"
  key: "PaivaHR11"
- title: "Knowledge Tracking: Answering Implicit Questions"
  author:
  - name: "Reinhard Stolle"
    link: "https://researchr.org/alias/reinhard-stolle"
  - name: "Daniel G. Bobrow"
    link: "https://researchr.org/alias/daniel-g.-bobrow"
  - name: "Cleo Condoravdi"
    link: "www2.parc.com/isl/members/condorav/"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2003"
  researchr: "https://researchr.org/publication/StolleBCCP03"
  cites: 0
  citedby: 0
  pages: "58-61"
  booktitle: "ndqa"
  kind: "inproceedings"
  key: "StolleBCCP03"
- title: "Relating Categorical Semantics for Intuitionistic Linear Logic"
  author:
  - name: "Maria Emilia Maietti"
    link: "https://researchr.org/alias/maria-emilia-maietti"
  - name: "Paola Maneggia"
    link: "https://researchr.org/alias/paola-maneggia"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/s10485-004-3134-z"
  links:
    doi: "http://dx.doi.org/10.1007/s10485-004-3134-z"
  tags:
  - "semantics"
  - "logic"
  researchr: "https://researchr.org/publication/MaiettiMPR05"
  cites: 0
  citedby: 0
  journal: "acs"
  volume: "13"
  number: "1"
  pages: "1-36"
  kind: "article"
  key: "MaiettiMPR05"
- title: "Explicit Substitutions for Constructive Necessity"
  author:
  - name: "Neil Ghani"
    link: "https://researchr.org/alias/neil-ghani"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430743.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430743.htm"
  researchr: "https://researchr.org/publication/GhaniPR98"
  cites: 0
  citedby: 0
  pages: "743-754"
  booktitle: "icalp"
  kind: "inproceedings"
  key: "GhaniPR98"
- title: "Full Intuitionistic Linear Logic (extended abstract)"
  author:
  - name: "Martin Hyland"
    link: "https://researchr.org/alias/martin-hyland"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/HylandP93"
  cites: 0
  citedby: 0
  journal: "APAL"
  volume: "64"
  number: "3"
  pages: "273-291"
  kind: "article"
  key: "HylandP93"
- title: "Deverbal Nouns in Knowledge Representation"
  author:
  - name: "Olga Gurevich"
    link: "https://researchr.org/alias/olga-gurevich"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "Tracy H. King"
    link: "https://researchr.org/alias/tracy-h.-king"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2006"
  researchr: "https://researchr.org/publication/GurevichCKP06"
  cites: 0
  citedby: 0
  pages: "670-675"
  booktitle: "flairs"
  kind: "inproceedings"
  key: "GurevichCKP06"
- title: "Rewriting Properties of Combinators for Rudimentary Linear Logic"
  author:
  - name: "Monica Nesi"
    link: "https://researchr.org/alias/monica-nesi"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "1993"
  tags:
  - "graph-rewriting"
  - "logic"
  - "rewriting logic"
  - "rewriting"
  researchr: "https://researchr.org/publication/NesiPR93"
  cites: 0
  citedby: 0
  pages: "256-275"
  booktitle: "hoa"
  kind: "inproceedings"
  key: "NesiPR93"
- title: "A Term Calculus for Intuitionistic Linear Logic"
  author:
  - name: "P. N. Benton"
    link: "https://researchr.org/alias/p.-n.-benton"
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Martin Hyland"
    link: "https://researchr.org/alias/martin-hyland"
  year: "1993"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BentonBPH93"
  cites: 0
  citedby: 0
  pages: "75-90"
  booktitle: "tlca"
  kind: "inproceedings"
  key: "BentonBPH93"
- title: "Deverbal Nouns in Knowledge Representation"
  author:
  - name: "Olga Gurevich"
    link: "https://researchr.org/alias/olga-gurevich"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "Tracy H. King"
    link: "https://researchr.org/alias/tracy-h.-king"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2008"
  doi: "http://dx.doi.org/10.1093/logcom/exm070"
  links:
    doi: "http://dx.doi.org/10.1093/logcom/exm070"
  researchr: "https://researchr.org/publication/GurevichCKP08"
  cites: 0
  citedby: 0
  journal: "logcom"
  volume: "18"
  number: "3"
  pages: "385-404"
  kind: "article"
  key: "GurevichCKP08"
- title: "Preventing existence"
  author:
  - name: "Cleo Condoravdi"
    link: "www2.parc.com/isl/members/condorav/"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "John O. Everett"
    link: "https://researchr.org/alias/john-o.-everett"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Reinhard Stolle"
    link: "https://researchr.org/alias/reinhard-stolle"
  - name: "Daniel G. Bobrow"
    link: "https://researchr.org/alias/daniel-g.-bobrow"
  - name: "Martin van den Berg"
    link: "https://researchr.org/alias/martin-van-den-berg"
  year: "2001"
  doi: "http://doi.acm.org/10.1145/505168.505184"
  links:
    doi: "http://doi.acm.org/10.1145/505168.505184"
  researchr: "https://researchr.org/publication/CondoravdiCEPSBB01"
  cites: 0
  citedby: 0
  pages: "162-173"
  booktitle: "fois"
  kind: "inproceedings"
  key: "CondoravdiCEPSBB01"
- title: "Bridges from Language to Logic: Concepts, Contexts and Ontologies"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2011"
  doi: "http://dx.doi.org/10.1016/j.entcs.2011.03.007"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2011.03.007"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Paiva11"
  tags:
  - "ontologies"
  - "ontology"
  - "context-aware"
  - "logic"
  researchr: "https://researchr.org/publication/Paiva11"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "269"
  pages: "83-94"
  kind: "article"
  key: "Paiva11"
- title: "Categorical Models of Explicit Substitutions"
  author:
  - name: "Neil Ghani"
    link: "https://researchr.org/alias/neil-ghani"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "1999"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GhaniPR99"
  cites: 0
  citedby: 0
  pages: "197-211"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "GhaniPR99"
- title: "A Dialectica-like Model of Linear Logic"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "1989"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/Paiva89"
  cites: 0
  citedby: 0
  pages: "341-356"
  booktitle: "ctcs"
  kind: "inproceedings"
  key: "Paiva89"
- title: "Categorical Models for Intuitionistic and Linear Type Theory"
  author:
  - name: "Maria Emilia Maietti"
    link: "https://researchr.org/alias/maria-emilia-maietti"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "2000"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840223.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1784/17840223.htm"
  tags:
  - "type theory"
  researchr: "https://researchr.org/publication/MaiettiPR00"
  cites: 0
  citedby: 0
  pages: "223-237"
  booktitle: "fossacs"
  kind: "inproceedings"
  key: "MaiettiPR00"
- title: "Building Models of Linear Logic"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Andrea Schalk"
    link: "http://www.cs.man.ac.uk/~schalk/ "
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480164.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1548/15480164.htm"
  tags:
  - "meta-model"
  - "logic"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/PaivaS98"
  cites: 0
  citedby: 0
  pages: "164-177"
  booktitle: "amast"
  kind: "inproceedings"
  key: "PaivaS98"
- title: "Preface"
  author:
  - name: "Patrick Blackburn"
    link: "https://researchr.org/alias/patrick-blackburn"
  - name: "Thomas Bolander"
    link: "https://researchr.org/alias/thomas-bolander"
  - name: "Torben Braüner"
    link: "https://researchr.org/alias/torben-bra%C3%BCner"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Jørgen Villadsen"
    link: "https://researchr.org/alias/j%C3%B8rgen-villadsen"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.021"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2006.11.021"
  researchr: "https://researchr.org/publication/BlackburnBBPV07"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "174"
  number: "6"
  pages: "1-2"
  kind: "article"
  key: "BlackburnBBPV07"
- title: "A Formulation of Linear Logic Based on Dependency-Relations"
  author:
  - name: "Torben Braüner"
    link: "https://researchr.org/alias/torben-bra%C3%BCner"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "1997"
  tags:
  - "rule-based"
  - "logic"
  researchr: "https://researchr.org/publication/BraunerP97"
  cites: 0
  citedby: 0
  pages: "129-148"
  booktitle: "csl"
  kind: "inproceedings"
  key: "BraunerP97"
- title: "Textual Inference Logic: Take Two"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Daniel G. Bobrow"
    link: "https://researchr.org/alias/daniel-g.-bobrow"
  - name: "Cleo Condoravdi"
    link: "www2.parc.com/isl/members/condorav/"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "Tracy H. King"
    link: "https://researchr.org/alias/tracy-h.-king"
  - name: "Lauri Karttunen"
    link: "https://researchr.org/alias/lauri-karttunen"
  - name: "Rowan Nairn"
    link: "https://researchr.org/alias/rowan-nairn"
  - name: "Annie Zaenen"
    link: "http://www2.parc.com/istl/members/zaenen/"
  year: "2007"
  doi: "http://ceur-ws.org/Vol-298/paper3.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-298/paper3.pdf"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/PaivaBCCKKNZ07"
  cites: 0
  citedby: 0
  booktitle: "context"
  kind: "inproceedings"
  key: "PaivaBCCKKNZ07"
- title: "Linear Explicit Substitutions"
  author:
  - name: "Neil Ghani"
    link: "https://researchr.org/alias/neil-ghani"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "2000"
  doi: "http://www3.oup.co.uk/igpl/Volume_08/Issue_01/#Ghani"
  links:
    doi: "http://www3.oup.co.uk/igpl/Volume_08/Issue_01/#Ghani"
  researchr: "https://researchr.org/publication/GhaniPR00"
  cites: 0
  citedby: 0
  journal: "igpl"
  volume: "8"
  number: "1"
  pages: "7-31"
  kind: "article"
  key: "GhaniPR00"
- title: "Intuitionistic hybrid logic"
  author:
  - name: "Torben Braüner"
    link: "https://researchr.org/alias/torben-bra%C3%BCner"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.jal.2005.06.009"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2005.06.009"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/BraunerP06"
  cites: 0
  citedby: 0
  journal: "japll"
  volume: "4"
  number: "3"
  pages: "231-255"
  kind: "article"
  key: "BraunerP06"
- title: "Logic, Language, Information and Computation"
  author:
  - name: "Grigori Mints"
    link: "https://researchr.org/alias/grigori-mints"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Ruy J. G. B. de Queiroz"
    link: "https://researchr.org/alias/ruy-j.-g.-b.-de-queiroz"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.ic.2009.03.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.ic.2009.03.006"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/MintsPQ09"
  cites: 0
  citedby: 0
  journal: "iandc"
  volume: "207"
  number: "10"
  pages: "969-970"
  kind: "article"
  key: "MintsPQ09"
- title: "Intuitionistic Logic and Legal Ontologies"
  author:
  - name: "Edward Hermann Haeusler"
    link: "https://researchr.org/alias/edward-hermann-haeusler"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Alexandre Rademaker"
    link: "http://arademaker.github.com/"
  year: "2010"
  doi: "http://dx.doi.org/10.3233/978-1-60750-681-2-155"
  links:
    doi: "http://dx.doi.org/10.3233/978-1-60750-681-2-155"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/jurix/HaeuslerPR10"
  tags:
  - "ontologies"
  - "ontology"
  - "logic"
  researchr: "https://researchr.org/publication/HaeuslerPR10"
  cites: 0
  citedby: 0
  pages: "155-158"
  booktitle: "jurix"
  kind: "inproceedings"
  key: "HaeuslerPR10"
- title: "Poset-valued sets or how to build models for linear logics"
  author:
  - name: "Andrea Schalk"
    link: "http://www.cs.man.ac.uk/~schalk/ "
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.tcs.2003.11.014"
  links:
    doi: "http://dx.doi.org/10.1016/j.tcs.2003.11.014"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchalkP04"
  cites: 0
  citedby: 0
  journal: "TCS"
  volume: "315"
  number: "1"
  pages: "83-107"
  kind: "article"
  key: "SchalkP04"
- title: "Computational Types from a Logical Perspective"
  author:
  - name: "P. N. Benton"
    link: "https://researchr.org/alias/p.-n.-benton"
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "1998"
  researchr: "https://researchr.org/publication/BentonBP98"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "8"
  number: "2"
  pages: "177-193"
  kind: "article"
  key: "BentonBP98"
- title: "Categorical and Kripke Semantics for Constructive S4 Modal Logic"
  author:
  - name: "Natasha Alechina"
    link: "https://researchr.org/alias/natasha-alechina"
  - name: "Michael Mendler"
    link: "https://researchr.org/alias/michael-mendler"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Eike Ritter"
    link: "https://researchr.org/alias/eike-ritter"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420292.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420292.htm"
  tags:
  - "semantics"
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/AlechinaMPR01"
  cites: 0
  citedby: 0
  pages: "292-307"
  booktitle: "csl"
  kind: "inproceedings"
  key: "AlechinaMPR01"
- title: "Making ontologies work for resolving redundancies across documents"
  author:
  - name: "John O. Everett"
    link: "https://researchr.org/alias/john-o.-everett"
  - name: "Daniel G. Bobrow"
    link: "https://researchr.org/alias/daniel-g.-bobrow"
  - name: "Reinhard Stolle"
    link: "https://researchr.org/alias/reinhard-stolle"
  - name: "Richard Crouch"
    link: "http://www.valeriadepaiva.org/home/dick-crouch"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  - name: "Cleo Condoravdi"
    link: "www2.parc.com/isl/members/condorav/"
  - name: "Martin van den Berg"
    link: "https://researchr.org/alias/martin-van-den-berg"
  - name: "Livia Polanyi"
    link: "https://researchr.org/alias/livia-polanyi"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/503124.503149"
  links:
    doi: "http://doi.acm.org/10.1145/503124.503149"
  tags:
  - "ontologies"
  - "ontology"
  - "redundancy"
  researchr: "https://researchr.org/publication/EverettBSCPCBP02"
  cites: 0
  citedby: 0
  journal: "CACM"
  volume: "45"
  number: "2"
  pages: "55-60"
  kind: "article"
  key: "EverettBSCPCBP02"
- title: "On an Intuitionistic Modal Logic"
  author:
  - name: "Gavin M. Bierman"
    link: "https://researchr.org/alias/gavin-m.-bierman"
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2000"
  tags:
  - "modal logic"
  - "logic"
  researchr: "https://researchr.org/publication/BiermanP00"
  cites: 0
  citedby: 0
  journal: "sLogica"
  volume: "65"
  number: "3"
  pages: "383-416"
  kind: "article"
  key: "BiermanP00"
- title: "Natural Deduction and Context as (Constructive) Modality"
  author:
  - name: "Valeria de Paiva"
    link: "http://www.cs.bham.ac.uk/~vdp/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2680/26800116.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2680/26800116.htm"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/Paiva03"
  cites: 0
  citedby: 0
  pages: "116-129"
  booktitle: "context"
  kind: "inproceedings"
  key: "Paiva03"