{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:20:48Z","timestamp":1742912448432,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030195694"},{"type":"electronic","value":"9783030195700"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19570-0_49","type":"book-chapter","created":{"date-parts":[[2019,5,6]],"date-time":"2019-05-06T16:27:54Z","timestamp":1557160074000},"page":"763-777","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Boudou","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3440-4348","authenticated-orcid":false,"given":"Mart\u00edn","family":"Di\u00e9guez","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8604-4183","authenticated-orcid":false,"given":"David","family":"Fern\u00e1ndez-Duque","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1242-5391","authenticated-orcid":false,"given":"Fabi\u00e1n","family":"Romero","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,5,6]]},"reference":[{"key":"49_CR1","unstructured":"Aleksandroff, P.: Diskrete r\u00e4ume. Matematicheskii Sbornik 2(44), 501\u2013518 (1937)"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Boudou, J., Di\u00e9guez, M., Fern\u00e1ndez-Duque, D.: Bisimulations for intuitionistic temporal logics. arXiv:1803.05078 (2018)","DOI":"10.1145\/3365833"},{"key":"49_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-319-48758-8_6","volume-title":"Logics in Artificial Intelligence","author":"P Balbiani","year":"2016","unstructured":"Balbiani, P., Di\u00e9guez, M.: Temporal here and there. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 81\u201396. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48758-8_6"},{"key":"49_CR4","unstructured":"Boudou, J., Di\u00e9guez, M., Fern\u00e1ndez-Duque, D.: A decidable intuitionistic temporal logic. In: 26th EACSL Annual Conference on Computer Science Logic (CSL), vol. 82, pp. 14:1\u201314:17 (2017)"},{"issue":"12","key":"49_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"49_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-540-75867-9_31","volume-title":"Computer Aided Systems Theory \u2013 EUROCAST 2007","author":"P Cabalar","year":"2007","unstructured":"Cabalar, P., P\u00e9rez Vega, G.: Temporal equilibrium logic: a first approach. In: Moreno D\u00edaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2007. LNCS, vol. 4739, pp. 241\u2013248. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75867-9_31"},{"key":"49_CR7","unstructured":"Davies, R.: A temporal-logic approach to binding-time analysis. In: Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science, New Brunswick, New Jersey, USA, 27\u201330 July, 1996, pp. 184\u2013195 (1996)"},{"key":"49_CR8","doi-asserted-by":"publisher","first-page":"1:1","DOI":"10.1145\/3011069","volume":"64","author":"R Davies","year":"2017","unstructured":"Davies, R.: A temporal logic approach to binding-time analysis. J. ACM 64, 1:1\u20131:45 (2017)","journal-title":"J. ACM"},{"issue":"3","key":"49_CR9","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555\u2013604 (2001)","journal-title":"J. ACM"},{"issue":"3","key":"49_CR10","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.apal.2009.07.009","volume":"161","author":"JM Davoren","year":"2009","unstructured":"Davoren, J.M.: On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations. Ann. Pure Appl. Logic 161(3), 349\u2013367 (2009)","journal-title":"Ann. Pure Appl. Logic"},{"key":"49_CR11","unstructured":"Davoren, J.M., Coulthard, V., Moor, T., Gor\u00e9, R., Nerode, A.: Topological semantics for intuitionistic modal logics, and spatial discretisation by A\/D maps. In: Workshop on Intuitionistic Modal Logic and Applications (IMLA) (2002)"},{"key":"49_CR12","unstructured":"Di\u00e9guez, M., Fern\u00e1ndez-Duque, D.: An intuitionistic axiomatization of \u2018eventually\u2019. In: Advances in Modal Logic, vol. 12, pp. 199\u2013218 (2018)"},{"issue":"2","key":"49_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"AP Ershov","year":"1977","unstructured":"Ershov, A.P.: On the partial computation principle. Inf. Process. Lett. 6(2), 38\u201341 (1977)","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"49_CR14","first-page":"1","volume":"14","author":"D Fern\u00e1ndez-Duque","year":"2018","unstructured":"Fern\u00e1ndez-Duque, D.: The intuitionistic temporal logic of dynamical systems. Logical Methods Comput. Sci. 14(3), 1\u201335 (2018)","journal-title":"Logical Methods Comput. Sci."},{"key":"49_CR15","unstructured":"Fischer Servi, G.: Axiomatisations for some intuitionistic modal logics. In: Rendiconti del Seminario Matematico, vol. 42, pp. 179\u2013194. Universitie Politecnico Torino (1984)"},{"key":"49_CR16","unstructured":"Goldblatt, R.: Logics of time and computation. In: Center for the Study of Language and Information, CSLI Lecture Notes, no. 7, 2nd edn. Stanford (1992)"},{"key":"49_CR17","unstructured":"Howard, W.A.: The formulas-as-types notion of construction. In: Seldin, J.P., Hindley, J.R. (eds.) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, pp. 479\u2013490. Academic Press (1980)"},{"issue":"1","key":"49_CR18","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.jal.2009.06.001","volume":"8","author":"N Kamide","year":"2010","unstructured":"Kamide, N., Wansing, H.: Combining linear-time temporal logic with constructiveness and paraconsistency. J. Appl. Logic 8(1), 33\u201361 (2010)","journal-title":"J. Appl. Logic"},{"issue":"12","key":"49_CR19","doi-asserted-by":"publisher","first-page":"1491","DOI":"10.1016\/j.ic.2010.09.008","volume":"209","author":"K Kojima","year":"2011","unstructured":"Kojima, K., Igarashi, A.: Constructive linear-time temporal logic: proof systems and Kripke semantics. Inf. Comput. 209(12), 1491\u20131503 (2011)","journal-title":"Inf. Comput."},{"key":"49_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/s11225-006-9005-x","volume":"84","author":"B Konev","year":"2006","unstructured":"Konev, B., Kontchakov, R., Wolter, F., Zakharyaschev, M.: On dynamic topological and metric logics. Stud. Logica 84, 129\u2013160 (2006)","journal-title":"Stud. Logica"},{"key":"49_CR21","unstructured":"Kremer, P.: A small counterexample in intuitionistic dynamic topological logic (2004). http:\/\/individual.utoronto.ca\/philipkremer\/onlinepapers\/counterex.pdf"},{"issue":"1","key":"49_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/jigpal\/8.1.55","volume":"8","author":"O Lichtenstein","year":"2000","unstructured":"Lichtenstein, O., Pnueli, A.: Propositional temporal logics: decidability and completeness. Logic J. IGPL 8(1), 55\u201385 (2000)","journal-title":"Logic J. IGPL"},{"key":"49_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-540-30124-0_24","volume-title":"Computer Science Logic","author":"P Maier","year":"2004","unstructured":"Maier, P.: Intuitionistic LTL and a new characterization of safety and liveness. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol. 3210, pp. 295\u2013309. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30124-0_24"},{"key":"49_CR24","doi-asserted-by":"publisher","unstructured":"Mints, G.: A Short Introduction to Intuitionistic Logic. University Series in Mathematics. Springer (2000). https:\/\/doi.org\/10.1007\/b115304","DOI":"10.1007\/b115304"},{"key":"49_CR25","unstructured":"Munkres, J.R.: Topology. Featured Titles for Topology Series, Prentice Hall, Incorporated (2000)"},{"key":"49_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67149-9","volume-title":"Neighborhood Semantics for Modal Logic","author":"E Pacuit","year":"2017","unstructured":"Pacuit, E.: Neighborhood Semantics for Modal Logic. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-319-67149-9"},{"key":"49_CR27","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (SFCS 1977), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"49_CR28","unstructured":"Simpson, A.K.: The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis, University of Edinburgh, UK (1994)"},{"key":"49_CR29","doi-asserted-by":"crossref","unstructured":"Yuse, Y., Igarashi, A.: A modal type system for multi-level generating extensions with persistent code. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming, PPDP 2006, pp. 201\u2013212 (2006)","DOI":"10.1145\/1140335.1140360"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19570-0_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,16]],"date-time":"2023-09-16T08:41:00Z","timestamp":1694853660000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19570-0_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030195694","9783030195700"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19570-0_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"6 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rende","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2019.mat.unical.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}