{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T01:03:50Z","timestamp":1760576630290,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030892463"},{"type":"electronic","value":"9783030892470"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89247-0_4","type":"book-chapter","created":{"date-parts":[[2021,10,16]],"date-time":"2021-10-16T17:24:40Z","timestamp":1634405080000},"page":"53-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Adding Proof Calculi to Epistemic Logics with Structured Knowledge"],"prefix":"10.1007","author":[{"given":"Mario","family":"Benevides","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,10,17]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1093\/jigpal\/jzs052","volume":"21","author":"P Balbiani","year":"2013","unstructured":"Balbiani, P., Gasquet, O., Schwarzentruber, F.: Agents that look at one another. Logic J. IGPL 21(3), 438\u2013467 (2013). https:\/\/doi.org\/10.1093\/jigpal\/jzs052","journal-title":"Logic J. IGPL"},{"key":"4_CR2","doi-asserted-by":"publisher","unstructured":"Benevides, M.R.F., Madeira, A., Martins, M.A.: A family of graded epistemic logics. In: Alves, S., Wasserman, R. (eds.) 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Bras\u00edlia, Brazil, 23\u201324 September 2017. Electronic Notes in Theoretical Computer Science, vol. 338, pp. 45\u201359. Elsevier (2017). https:\/\/doi.org\/10.1016\/j.entcs.2018.10.004","DOI":"10.1016\/j.entcs.2018.10.004"},{"key":"4_CR3","unstructured":"Blackburn, P., ten Cate, B.: Pure Extensions, Proof Rules and Hybrid Axiomatics. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Proceedings of the Advances in Modal Logic 2004 (AiML 2004) (2004)"},{"key":"4_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"4_CR5","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"4_CR6","unstructured":"van Eijck, J., Gattinger, M.: Elements of epistemic crypto logic. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems. AAMAS \u201915, pp. 1795\u20131796. International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC (2015). http:\/\/dl.acm.org\/citation.cfm?id=2772879.2773441"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-662-54069-5_7","volume-title":"Logic and Its Applications","author":"J van Eijck","year":"2017","unstructured":"van Eijck, J., Gattinger, M., Wang, Y.: Knowing values and public inspection. In: Ghosh, S., Prasad, S. (eds.) ICLA 2017. LNCS, vol. 10119, pp. 77\u201390. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54069-5_7"},{"key":"4_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fisher","year":"1979","unstructured":"Fisher, M.J., Ladner, R.F.: Propositional dynamic logic of regular programs. J. Comput. Syst. Sci. 18, 194\u2013211 (1979)","journal-title":"J. Comput. Syst. Sci."},{"key":"4_CR10","series-title":"Synthese Library Studies in Epistemology Logic, Methodology, and Philosophy of Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M Fitting","year":"1998","unstructured":"Fitting, M., Mendelsohn, R.: First-Order Modal Logic. Synthese Library Studies in Epistemology Logic, Methodology, and Philosophy of Science, vol. 277. Springer, Dordrecht (1998). https:\/\/doi.org\/10.1007\/978-94-011-5292-1https:\/\/books.google.com.br\/books?id=JMV9ZOg3KkUC"},{"key":"4_CR11","unstructured":"Goldblatt, R.: Logics of Time and Computation. CSLI Lecture Notes 7, CSLI, Stanford (1992)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/s005000050043","volume":"2","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Basic fuzzy logic and BL-algebras. Soft Comput. 2(3), 124\u2013128 (1998). https:\/\/doi.org\/10.1007\/s005000050043","journal-title":"Soft Comput."},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/978-3-662-48561-3_13","volume-title":"Logic, Rationality, and Interaction","author":"A Herzig","year":"2015","unstructured":"Herzig, A., Lorini, E., Maffre, F.: A poor man\u2019s epistemic logic based on propositional assignment and higher-order observation. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 156\u2013168. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-48561-3_13"},{"key":"4_CR14","volume-title":"Knowledge and Belief","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press, Ithaca (1962)"},{"key":"4_CR15","unstructured":"van der Hoek, W., Iliev, P., Wooldridge, M.: A logic of revelation and concealment. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, 4\u20138 June 2012 (3 Volumes), pp. 1115\u20131122 (2012). http:\/\/dl.acm.org\/citation.cfm?id=2343856"},{"key":"4_CR16","unstructured":"van der Hoek, W., Troquard, N., Wooldridge, M.: Knowledge and control. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), Taipei, Taiwan, 2\u20136 May 2011, vol. 1\u20133, pp. 719\u2013726 (2011). http:\/\/portal.acm.org\/citation.cfm?id=2031720&CFID=54178199&CFTOKEN=61392764"},{"issue":"4","key":"4_CR17","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"BP Kooi","year":"2003","unstructured":"Kooi, B.P.: Probabilistic dynamic epistemic logic. J. Logic Lang. Inf. 12(4), 381\u2013408 (2003). https:\/\/doi.org\/10.1023\/A:1025050800836","journal-title":"J. Logic Lang. Inf."},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D Kozen","year":"1981","unstructured":"Kozen, D., Parikh, R.: An elementary proof of the completeness of PDL. Theoret. Comput. Sci. 14, 113\u2013118 (1981)","journal-title":"Theoret. Comput. Sci."},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Madeira, A., Martins, M.A., Benevides, M.R.F.: Epistemic logics with structured knowledge. In: Accattoli, B., Olarte, C. (eds.) Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, 26\u201328 September 2018. Electronic Notes in Theoretical Computer Science, vol. 344, pp. 137\u2013149. Elsevier (2018). https:\/\/doi.org\/10.1016\/j.entcs.2019.07.009","DOI":"10.1016\/j.entcs.2019.07.009"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.scico.2016.05.001","volume":"132","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Barbosa, L.S., Martins, M.A.: A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132, 50\u201376 (2016). https:\/\/doi.org\/10.1016\/j.scico.2016.05.001","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"4_CR21","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","volume":"85","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Log. Algebr. Meth. Program. 85(5), 1011\u20131037 (2016). https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.004","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.scico.2016.03.001","volume":"126","author":"R Neves","year":"2016","unstructured":"Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Proof theory for hybrid(ISED) logics. Sci. Comput. Program. 126, 73\u201393 (2016). https:\/\/doi.org\/10.1016\/j.scico.2016.03.001","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71\u201388 (1986). https:\/\/doi.org\/10.1016\/0004-3702(86)90031-7","journal-title":"Artif. Intell."},{"key":"4_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0http:\/\/www.springer.com\/978-3-319-63587-3"},{"key":"4_CR25","unstructured":"van Ditmarsch, H., van der Hoek, W., Halpern, J., Kooi, B. (eds.): Handbook of Epistemic Logic. College Publications (2015)"},{"key":"4_CR26","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/978-3-319-62864-6_21","volume-title":"Jaakko Hintikka on Knowledge and Game-Theoretical Semantics","author":"Y Wang","year":"2018","unstructured":"Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 499\u2013533. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62864-6_21"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89247-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T22:02:45Z","timestamp":1760565765000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89247-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030892463","9783030892470"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89247-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FSEN","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamentals of Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fsen2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/fsen.ir\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"38","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was hosted by IPM.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}