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: "Automata, Languages and Programming, 24th International Colloquium, ICALP 97, Bologna, Italy, 7-11 July 1997, Proceedings"
  editor:
  - name: "Pierpaolo Degano"
    link: "https://researchr.org/alias/pierpaolo-degano"
  - name: "Roberto Gorrieri"
    link: "https://researchr.org/alias/roberto-gorrieri"
  - name: "Alberto Marchetti-Spaccamela"
    link: "https://researchr.org/alias/alberto-marchetti-spaccamela"
  volume: "1256"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-63165-8"
  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: "Journal of Logic and Computation"
  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: "Computer Science Logic, 6th Workshop, CSL  92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers"
  editor:
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Gerhard Jäger"
    link: "https://researchr.org/alias/gerhard-j%C3%A4ger"
  - name: "Hans Kleine Büning"
    link: "https://researchr.org/alias/hans-kleine-b%C3%BCning"
  - name: "Simone Martini"
    link: "https://researchr.org/alias/simone-martini"
  - name: "Michael M. Richter"
    link: "https://researchr.org/alias/michael-m.-richter"
  volume: "702"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56992-8"
  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: "Journal of Logic and Computation"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "New Directions in Question Answering, Papers from 2003 AAAI Spring Symposium, Stanford University, Stanford, CA, USA"
  editor:
  - name: "Mark T. Maybury"
    link: "https://researchr.org/alias/mark-t.-maybury"
  publisher: "AAAI Press"
  isbn: "1-57735-184-3"
  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: "Applied Categorical Structures"
  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: "Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  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: "Annals of Pure and Applied Logic"
  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: "Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006"
  editor:
  - name: "Geoff Sutcliffe"
    link: "https://researchr.org/alias/geoff-sutcliffe"
  - name: "Randy Goebel"
    link: "https://researchr.org/alias/randy-goebel"
  publisher: "AAAI Press"
  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: "Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA  93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers"
  editor:
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58233-9"
  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: "Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA  93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings"
  editor:
  - name: "Marc Bezem"
    link: "http://www.ii.uib.no/~bezem/"
  - name: "Jan Friso Groote"
    link: "http://www.win.tue.nl/~jfg/"
  volume: "664"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56517-5"
  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: "Journal of Logic and Computation"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Foundations of Software Science and Computation Structure, Second International Conference, FoSSaCS 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceed"
  editor:
  - name: "Wolfgang Thomas"
    link: "https://researchr.org/alias/wolfgang-thomas"
  volume: "1578"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65719-3"
  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: "Category Theory and Computer Science, Manchester, UK, September 5-8, 1989, Proceedings"
  editor:
  - name: "David H. Pitt"
    link: "https://researchr.org/alias/david-h.-pitt"
  - name: "David E. Rydeheard"
    link: "https://researchr.org/alias/david-e.-rydeheard"
  - name: "Peter Dybjer"
    link: "https://researchr.org/alias/peter-dybjer"
  - name: "Andrew M. Pitts"
    link: "https://researchr.org/alias/andrew-m.-pitts"
  - name: "Axel Poigné"
    link: "https://researchr.org/alias/axel-poign%C3%A9"
  volume: "389"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51662-X"
  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: "Foundations of Software Science and Computation Structures, Third International Conference, FOSSACS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings"
  editor:
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  volume: "1784"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67257-5"
  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: "Algebraic Methodology and Software Technology, 7th International Conference, AMAST  98, Amazonia, Brasil, January 4-8, 1999, Proceedings"
  editor:
  - name: "Armando Martin Haeberer"
    link: "https://researchr.org/alias/armando-martin-haeberer"
  volume: "1548"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65462-3"
  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: "Electronic Notes in Theoretical Computer Science"
  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: "Computer Science Logic, 11th International Workshop, CSL  97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers"
  editor:
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Wolfgang Thomas"
    link: "https://researchr.org/alias/wolfgang-thomas"
  volume: "1414"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64570-5"
  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: "Proceedings of the International Workshop on Contexts and Ontologies: Representation and Reasoning (C&O:RR) Collocated with the 6th International and Interdisciplinary Conference on Modelling and Using Context (CONTEXT-2007), Roskilde, Denmark, August"
  editor:
  - name: "Paolo Bouquet"
    link: "https://researchr.org/alias/paolo-bouquet"
  - name: "Jérôme Euzenat"
    link: "https://researchr.org/alias/j%C3%A9r%C3%B4me-euzenat"
  - name: "Chiara Ghidini"
    link: "https://researchr.org/alias/chiara-ghidini"
  - name: "Deborah L. McGuinness"
    link: "https://researchr.org/alias/deborah-l.-mcguinness"
  - name: "Luciano Serafini"
    link: "https://researchr.org/alias/luciano-serafini"
  - name: "Pavel Shvaiko"
    link: "https://researchr.org/alias/pavel-shvaiko"
  - name: "Holger Wache"
    link: "https://researchr.org/alias/holger-wache"
  volume: "298"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  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: "Logic Journal of the 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: "J. Applied Logic"
  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: "Inf. Comput."
  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: "Legal Knowledge and Information Systems - JURIX 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Liverpool, UK, 16-17 December 2010"
  editor:
  - name: "Radboud Winkels"
    link: "https://researchr.org/alias/radboud-winkels"
  volume: "223"
  series: "Frontiers in Artificial Intelligence and Applications"
  publisher: "IOS Press"
  isbn: "978-1-60750-681-2"
  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: "Theoretical Computer Science"
  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: "Journal of Functional Programming"
  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: "Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings"
  editor:
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  volume: "2142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42554-3"
  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: "Communications of the ACM"
  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: "Studia Logica"
  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: "Modeling and Using Context, 4th International and Interdisciplinary Conference, CONTEXT 2003, Stanford, CA, USA, June 23-25, 2003, Proceedings"
  editor:
  - name: "Patrick Blackburn"
    link: "https://researchr.org/alias/patrick-blackburn"
  - name: "Chiara Ghidini"
    link: "https://researchr.org/alias/chiara-ghidini"
  - name: "Roy M. Turner"
    link: "https://researchr.org/alias/roy-m.-turner"
  - name: "Fausto Giunchiglia"
    link: "https://researchr.org/alias/fausto-giunchiglia"
  volume: "2680"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40380-9"
  kind: "inproceedings"
  key: "Paiva03"