This page lists my work in constructive modal logics, including Hybrid and Description logics, as they are in the same family.

I started an online bibliography, but that needs updating

https://docs.google.com/document/pub?id=1ASo__R-_Bzq9D9lGUo0xrfIxt_I9az7oqSg-wmP1K10

1. On an Intuitionistic Modal Logic, G. M. Bierman & V. C. V. de Paiva Studia Logica volume 65, pages 383–416 (2000) https://link.springer.com/article/10.1023/A:1005291931660 (21 years later it still cost 40 dollars!)

https://www.researchgate.net/profile/Valeria-De-Paiva/publication/226515897_On_An_Intuitionistic_Modal_Logic/links/00b4951ed416906ccc000000/On-An-Intuitionistic-Modal-Logic.pdf

also Intuitionistic necessity revisited GM Bierman, VCV De Paiva School of Computer Science research reports-University of Birmingham CSR (1996) and 1992.

2. Computational Types from a Logical Perspective I. N. Benton, G. Bierman and V. de Paiva Journal of Functional Programming, 8(2):177-193. March 1998 https://www.researchgate.net/publication/220676670_Computational_Types_from_a_Logical_Perspective

3. Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic (2001) Gianluigi Bellin , Valeria de Paiva , Eike Ritter http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.1748

4. Towards Constructive Hybrid Logic (https://www.researchgate.net/publication/353646344_Towards_Constructive_Hybrid_Logic) T. Brauner and V. de Paiva, Presented at Methods for Modalities 3, LORIA, Nancy, France, September 22-23, 2003. Full paper Technical report from the University of Roskilde, 2003.

also: 5. Intuitionistic Hybrid Logic, T. Brauner and V. de Paiva, Journal of Applied Logic(JAL). JAL 4(2006), 231-- 255. https://www.sciencedirect.com/science/article/pii/S1570868305000446

6. Explicit Substitutions for Constructive Necessity N. Ghani, V. de Paiva and E. Ritter, 25th International Colloquium on Automata, Languages and Programming (ICALP'98). Lecture Notes in Computer Science LNCS 1443, eds. Larsen, Skyum and Winskel, 1998. http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B8CA7C1E06CD22F8CB36709F88B2A224?doi=10.1.1.45.518&rep=rep1&type=pdf

7. Natural Deduction and Context as (Constructive) Modality. V. de Paiva,, In Modeling and Using Context, Proceedings of the 4th International and Interdisciplinary Conference CONTEXT 2003, Stanford, CA, USA, Springer Lecture Notes in Artificial Intelligence, vol 2680, June 2003. https://www.researchgate.net/publication/221032386_Natural_Deduction_and_Context_as_Constructive_Modality

8. Categorical and Kripke Semantics for Constructive S4 Modal Logic. N. Alechina, M. Mendler, V. de Paiva and E. Ritter, In Proc. of Computer Science Logic (CSL'01), LNCS 2142, ed L. Fribourg. 2001. https://www.researchgate.net/publication/2570102_Categorical_and_Kripke_Semantics_for_Constructive_S4_Modal_Logic

9. Modalities in Constructive Logics and Type Theories Preface to the special issue on Intuitionistic Modal Logic and Application Journal of Logic and Computation, volume 14, number 4, August 2004. Valeria de Paiva, Rajeev Gore' and Michael Mendler. https://www.researchgate.net/publication/246843395_Modalities_in_constructive_logics_and_type_theories

10. Constructive CK for Contexts, Michael Mendler and Valeria de Paiva, Abstract in the ASL Meeting in Stanford, March 2005.

Also: Constructive CK for Contexts (with Michael Mendler), In Proceedings of the Worskhop on Context Representation and Reasoning, Paris, France, July 2005. https://www.cs.bham.ac.uk/~vdp/publications/ck-paper2.pdf

11. Constructive Description Logics: what, why and how. Valeria de Paiva (extended draft) Presented at Context Representation and Reasoning, Riva del Garda, August 2006 https://www.semanticscholar.org/paper/Constructive-Description-Logics-%3A-what-%2C-why-and-Paiva/b0c867556762cdd8ae1d481e48e3c4bf8e3f1bc8

12. A Basic Logic for Textual inference D. Bobrow, C. Condoravdi, R. Crouch, R. Kaplan, L. Karttunen, T. King, V de Paiva and A. Zaenen, In Procs. of the AAAI Workshop on Inference for Textual Question Answering, Pittsburgh PA, July 2005. https://www.researchgate.net/publication/243787442_A_Basic_Logic_for_Textual_Inference

13. Hylo 2007 Proceedings of the Workshop (eds Patrick Blackburn, Thomas Bolander, Torben Brauner, Valeria de Paiva and Joergen Villadsen). Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007). https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/6

14. Textual Inference Logic: Take Two, V de Paiva, D. G. Bobrow, C. Condoravdi, R. Crouch, L. Karttunen, T. H. King, R. Nairn and A. Zaenen
    Proceedings of the Workshop on Contexts and Ontologies, Representation and Reasoning, CONTEXT 2007. https://www.researchgate.net/publication/221032236_Textual_Inference_Logic_Take_Two

15. Bridges from Language to Logic: Concepts, Contexts and Ontologies V. de Paiva, in 5th Logical and Semantic Frameworks with Applications, LSFA'10, parte of ICTAC in Natal, Brazil, 2010. https://www.researchgate.net/publication/220370572_Bridges_from_Language_to_Logic_Concepts_Contexts_and_Ontologies

16. Using Intuitionistic Logic as a basis for Legal Ontologies H. Hausler, A. Rademaker e V. de Paiva, in ``Proceedings of Legal Ontologies and Artificial Intelligence Techniques (LOAIT)", July 2010. https://www.semanticscholar.org/paper/Using-Intuitionistic-Logic-as-a-Basis-for-Legal-Haeusler-Paiva/c73db0480930bd39325ddf31e6f1275c209a69bc

17. Constructive Description Logic, Hybrid-Style V. de Paiva, H. Hausler e A. Rademaker, in Proceedings of the International Workshop on Hybrid Logic and Applications (HyLo 2010), Aug 2010. https://www.researchgate.net/publication/220367698_Constructive_Description_Logics_Hybrid-Style

18. Contextual Constructive Description Logics. Valeria de Paiva, Natasha Alechina. ARCOE, 01 June 2011. Proceedings of the IJCAI-11 Workshop ARCOE-11: Automated Reasoning about Context and Ontology Evolution. https://www.semanticscholar.org/paper/Contextual-Constructive-Description-Logics-Paiva-Alechina/806cfe7a2f178c88a650b6c41c8a4595715c1d42

19. Basic Constructive Modality. Valeria de Paiva, Eike Ritter. College Pubs, 01 June 2011. Logic without frontiers—Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, pages 411-428. https://vcvpaiva.github.io/includes/pubs/2011-Basic_Constructive_Modality.pdf

20. Contexts for Quantification Valeria de Paiva, in Proceedings of CommonSense 2013. https://www.researchgate.net/publication/258763768_Contexts_for_Quantification

21. If, not when, Dick Crouch and Valeria de Paiva, Electr. Notes Theor. Comput. Sci. 300: 3-20 (2014). https://www.sciencedirect.com/science/article/pii/S1571066113000893?via%3Dihub

22. Intuitionistic Modal Logic: A 15-year retrospective. Charles Stewart, Natasha Alechina, Valeria de Paiva. Journal of Logic and Computation, 01 August 2015. https://academic.oup.com/logcom/article/28/5/873/2917820

23. Fibrational Modal Type Theory. Valeria de Paiva, Eike Ritter. Electronic Notes in Theoretical Computer Science, 01 June 2016. Proceedings of the Tenth Workshop on Logical and Semantic Frameworks with Applications (LSFA 2015) https://www.sciencedirect.com/science/article/pii/S1571066116300378

24. Constructive Temporal Logic, Categorically. Valeria de Paiva, Harley Eades III. Book for Grigori Mints, 01 February 2017. Series Tributes, College Publications. https://www.semanticscholar.org/paper/Constructive-Temporal-Logic%2C-Categorically-Paiva-Eades/6030cb3c130e70854e7fa95f1f23c8920a19ce10