{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T22:43:12Z","timestamp":1784241792877,"version":"3.55.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,20]],"date-time":"2010-01-20T00:00:00Z","timestamp":1263945600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,2]]},"DOI":"10.1007\/s11225-010-9224-z","type":"journal-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T17:42:47Z","timestamp":1263922967000},"page":"47-72","source":"Crossref","is-referenced-by-count":11,"title":["A Contraction-free and Cut-free Sequent Calculus for Propositional Dynamic Logic"],"prefix":"10.1007","volume":"94","author":[{"given":"Brian","family":"Hill","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesca","family":"Poggiolesi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,1,20]]},"reference":[{"key":"9224_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.apal.2004.10.001","volume":"133","author":"Luca Alberucci","year":"2005","unstructured":"Alberucci Luca, Gerhard J\u00e4ger: \u2018About cut elimination for logics of common knowledge\u2019. Annals of Pure and Applied Logic 133, 1\u20133 (2005) 73\u201399","journal-title":"Annals of Pure and Applied Logic"},{"key":"9224_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Patrick Blackburn","year":"2001","unstructured":"Blackburn Patrick, Maarten de Rijke, Yde Venema: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"9224_CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/BF01705528","volume":"1","author":"Erwin Engeler","year":"1967","unstructured":"Engeler Erwin: \u2018Algorithmic properties of structures\u2019. Mathematical Systems Theory 1, 183\u2013195 (1967)","journal-title":"Mathematical Systems Theory"},{"key":"9224_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"David Harel","year":"2000","unstructured":"Harel David, Dexter Kozen, Jerzy Tiuryn: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"9224_CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"Charles Hoare","year":"1969","unstructured":"Hoare Charles, Anthony Richard: \u2018An axiomatic basis for computer programming\u2019. Communications of the ACM 12, 576\u2013580 (1969)","journal-title":"Communications of the ACM"},{"issue":"4","key":"9224_CR6","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1016\/j.jal.2006.02.003","volume":"5","author":"Gerhard J\u00e4ger","year":"2007","unstructured":"J\u00e4ger Gerhard, Mathis Kretz, Thomas Studer: \u2018Cut-free common knowledge\u2019. Journal of Applied Logic 5(4), 681\u2013689 (2007)","journal-title":"Journal of Applied Logic"},{"key":"9224_CR7","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0304-3975(91)90083-E","volume":"91","author":"Peter M.W. Knijnenburg","year":"1991","unstructured":"Knijnenburg Peter M.W., Jan van Leeuwen: \u2018On models for propositional dynamic logic\u2019. Theoretical Computer Science 91, 181\u2013203 (1991)","journal-title":"Theoretical Computer Science"},{"key":"9224_CR8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00268322","volume":"12","author":"Hirokazu Nishimura","year":"1979","unstructured":"Nishimura Hirokazu, \u2018Sequential method in propositional dynamic logic\u2019. Acta Informatica 12, 377\u2013400 (1979)","journal-title":"Acta Informatica"},{"key":"9224_CR9","unstructured":"Poggiolesi, Francesca, Sequent Calculi for Modal Logic, Ph.D Thesis, Florence, 2008."},{"key":"9224_CR10","doi-asserted-by":"crossref","unstructured":"Poggiolesi, Francesca, \u2018The method of tree-hypersequent for modal propositional logic\u2019, in D. Makinson, J. Malinowski, and H. Wansing, (eds.), Trends in logic: Towards mathematical philosophy, Springer, 2009, pp. 31\u201351.","DOI":"10.1007\/978-1-4020-9084-4_3"},{"key":"9224_CR11","unstructured":"Poggiolesi, Francesca, Reflecting the semantic features of S5\u00a0at the syntactic level, SILFS conference proceedings, Forthcoming, 2010."},{"key":"9224_CR12","volume-title":"Basic Proof Theory","author":"Sjerp Troelstra Anne","year":"1996","unstructured":"Troelstra Anne Sjerp, Helmut Schwichtenberg: Basic Proof Theory. Cambridge University Press, Cambridge (1996)"},{"key":"9224_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-1280-4","volume-title":"Displaying Modal Logic","author":"Heinrich Wansing","year":"1998","unstructured":"Wansing Heinrich: Displaying Modal Logic. Kluwer Academic Publisher, Dordrecht\/Boston\/London (1998)"},{"key":"9224_CR14","first-page":"1","volume":"1","author":"Joseph Yanov","year":"1959","unstructured":"Yanov Joseph: \u2018On equivalence of operator schemes\u2019. Problems of Cybernetic 1, 1\u2013100 (1959)","journal-title":"Problems of Cybernetic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9224-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9224-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9224-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:46Z","timestamp":1559384686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9224-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,20]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2]]}},"alternative-id":["9224"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9224-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,20]]}}}