@inproceedings{DBLP:conf/wollic/FervariFM25,
  author       = {Raul Fervari and
                  Daniel Figueiredo and
                  Manuel A. Martins},
  editor       = {Dexter Kozen and
                  Ruy J. G. B. de Queiroz},
  title        = {Graded Relation Updates in Modal Logic},
  booktitle    = {Logic, Language, Information, and Computation - 31st International
                  Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15942},
  pages        = {278--292},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-99536-1\_17},
  doi          = {10.1007/978-3-031-99536-1\_17},
  timestamp    = {Thu, 11 Sep 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/FervariFM25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"eN5vx7D62BZwNuc7r","bibbaseid":"fervari-figueiredo-martins-gradedrelationupdatesinmodallogic-2025","author_short":["Fervari, R.","Figueiredo, D.","Martins, M. A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raul"],"propositions":[],"lastnames":["Fervari"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Figueiredo"],"suffixes":[]},{"firstnames":["Manuel","A."],"propositions":[],"lastnames":["Martins"],"suffixes":[]}],"editor":[{"firstnames":["Dexter"],"propositions":[],"lastnames":["Kozen"],"suffixes":[]},{"firstnames":["Ruy","J.","G.","B."],"propositions":["de"],"lastnames":["Queiroz"],"suffixes":[]}],"title":"Graded Relation Updates in Modal Logic","booktitle":"Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings","series":"Lecture Notes in Computer Science","volume":"15942","pages":"278–292","publisher":"Springer","year":"2025","url":"https://doi.org/10.1007/978-3-031-99536-1\\_17","doi":"10.1007/978-3-031-99536-1_17","timestamp":"Thu, 11 Sep 2025 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/wollic/FervariFM25.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/wollic/FervariFM25,\n author = {Raul Fervari and\n Daniel Figueiredo and\n Manuel A. Martins},\n editor = {Dexter Kozen and\n Ruy J. G. B. de Queiroz},\n title = {Graded Relation Updates in Modal Logic},\n booktitle = {Logic, Language, Information, and Computation - 31st International\n Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {15942},\n pages = {278--292},\n publisher = {Springer},\n year = {2025},\n url = {https://doi.org/10.1007/978-3-031-99536-1\\_17},\n doi = {10.1007/978-3-031-99536-1\\_17},\n timestamp = {Thu, 11 Sep 2025 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/wollic/FervariFM25.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Fervari, R.","Figueiredo, D.","Martins, M. A."],"editor_short":["Kozen, D.","de Queiroz, R. J. G. B."],"key":"DBLP:conf/wollic/FervariFM25","id":"DBLP:conf/wollic/FervariFM25","bibbaseid":"fervari-figueiredo-martins-gradedrelationupdatesinmodallogic-2025","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-99536-1\\_17"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/117/9953.bib","dataSources":["HJM7dqFRHjcZZmjge"],"keywords":[],"search_terms":["graded","relation","updates","modal","logic","fervari","figueiredo","martins"],"title":"Graded Relation Updates in Modal Logic","year":2025}