{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:00:43Z","timestamp":1742954443395,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_12","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T04:28:49Z","timestamp":1244262529000},"page":"140-154","source":"Crossref","is-referenced-by-count":0,"title":["First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment"],"prefix":"10.1007","author":[{"given":"Francesco","family":"Belardinelli","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","first-page":"705","volume-title":"Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008)","author":"F. Belardinelli","year":"2008","unstructured":"Belardinelli, F., Lomuscio, A.: A Complete First-Order Logic of Knowledge and Time. In: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp. 705\u2013714. AAAI Press, Menlo Park (2008)"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Belardinelli, F., Lomuscio, A.: Quantified Epistemic Logics for Reasoning about Knowledge in Multi-Agent Systems. Artificial Intelligence (to appear), http:\/\/dx.doi.org\/10.1016\/j.artint.2009.02.003","DOI":"10.1016\/j.artint.2009.02.003"},{"volume-title":"Handbook of Modal Logic","year":"2006","key":"12_CR3","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.): Handbook of Modal Logic. Elsevier, Amsterdam (2006)"},{"key":"12_CR4","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":"12_CR5","volume-title":"Many-Dimensional Modal Logics","author":"D. Gabbay","year":"2003","unstructured":"Gabbay, D., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-Dimensional Modal Logics. Elsevier, Amsterdam (2003)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-27813-9_41","volume-title":"Computer Aided Verification","author":"P. Gammie","year":"2004","unstructured":"Gammie, P., van der Meyden, R.: MCK: Model Checking the Logic of Knowledge. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 479\u2013483. Springer, Heidelberg (2004)"},{"issue":"3","key":"12_CR7","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"J. Halpern","year":"2003","unstructured":"Halpern, J., van der Meyden, R., Vardi, M.: Complete axiomatisations for reasoning about knowledge and time. SIAM Journal on Computing\u00a033(3), 674\u2013703 (2003)","journal-title":"SIAM Journal on Computing"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"J. Halpern","year":"1990","unstructured":"Halpern, J., Moses, Y.: Knowledge and common knowledge in a distributed environment. Journal of the ACM\u00a037(3), 549\u2013587 (1990)","journal-title":"Journal of the ACM"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J. Halpern","year":"1992","unstructured":"Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence\u00a054, 319\u2013379 (1992)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"12_CR10","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Halpern","year":"1989","unstructured":"Halpern, J., Vardi, M.: The complexity of reasoning about knowledge and time 1: lower bounds. Journal of Computer and System Sciences\u00a038(1), 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1023\/A:1021356410579","volume":"72","author":"I. Hodkinson","year":"2002","unstructured":"Hodkinson, I.: Monodic packed fragment with equality is decidable. Studia Logica\u00a072, 185\u2013197 (2002)","journal-title":"Studia Logica"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1016\/j.apal.2005.06.007","volume":"138","author":"I. Hodkinson","year":"2006","unstructured":"Hodkinson, I.: Complexity of monodic guarded fragments over linear and real time. Annals of Pure and Applied Logic\u00a0138, 94\u2013125 (2006)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR13","first-page":"91","volume-title":"Proceedings of the International Symposium on Temporal Representation and Reasoning (TIME 2003)","author":"I. Hodkinson","year":"2003","unstructured":"Hodkinson, I., Kontchakov, R., Kurucz, A., Wolter, F., Zakharyaschev, M.: On the computational complexity of decidable fragments of first-order linear temporal logics. In: Proceedings of the International Symposium on Temporal Representation and Reasoning (TIME 2003), pp. 91\u201398. IEEE Press, Los Alamitos (2003)"},{"key":"12_CR14","first-page":"393","volume-title":"Logic in Computer science (LICS 2002)","author":"I. Hodkinson","year":"2002","unstructured":"Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable and undecidable fragments of first-order branching temporal logics. In: Logic in Computer science (LICS 2002), pp. 393\u2013402. IEEE Computer Society Press, Los Alamitos (2002)"},{"issue":"1-3","key":"12_CR15","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0168-0072(00)00018-X","volume":"106","author":"I. Hodkinson","year":"2000","unstructured":"Hodkinson, I., Wolter, F., Zakharyaschev, M.: Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic\u00a0106(1-3), 85\u2013134 (2000)","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/3-540-58792-6_21","volume-title":"Logic Program Synthesis and Transformation - Meta-Programming in Logic","author":"W. Hoek van der","year":"1994","unstructured":"van der Hoek, W., Meyer, J.-J.C., Treur, J.: Formal semantics of temporal epistemic reflection. In: Fribourg, L., Turini, F. (eds.) LOPSTR 1994 and META 1994. LNCS, vol.\u00a0883, pp. 332\u2013352. Springer, Heidelberg (1994)"},{"issue":"7","key":"12_CR17","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"12_CR18","first-page":"448","volume-title":"Logic in Computer Science (LICS 1994)","author":"R. Meyden van der","year":"1994","unstructured":"van der Meyden, R.: Axioms for knowledge and time in distributed systems with perfect recall. In: Logic in Computer Science (LICS 1994), pp. 448\u2013457. IEEE, Los Alamitos (1994)"},{"key":"12_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.-J.C.. Meyer","year":"1995","unstructured":"Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge University Press, Cambridge (1995)"},{"issue":"2","key":"12_CR20","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","volume":"5","author":"F. Raimondi","year":"2007","unstructured":"Raimondi, F., Lomuscio, A.: Automatic verification of multi-agent systems by model checking via OBDDs. Journal of Applied Logic\u00a05(2), 235\u2013251 (2007)","journal-title":"Journal of Applied Logic"},{"issue":"2\/3","key":"12_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF00370836","volume":"57","author":"M. Reynolds","year":"1996","unstructured":"Reynolds, M.: Axiomatising first-order temporal logic: until and since over linear time. Studia Logica\u00a057(2\/3), 279\u2013302 (1996)","journal-title":"Studia Logica"},{"key":"12_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/3-540-40006-0_23","volume-title":"Logics in Artificial Intelligence","author":"H. Sturm","year":"2000","unstructured":"Sturm, H., Wolter, F., Zakharyaschev, M.: Monodic epistemic predicate logic. In: Brewka, G., Moniz Pereira, L., Ojeda-Aciego, M., de Guzm\u00e1n, I.P. (eds.) JELIA 2000. LNCS, vol.\u00a01919, pp. 329\u2013344. Springer, Heidelberg (2000)"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/s001990100201","volume":"19","author":"H. Sturm","year":"2002","unstructured":"Sturm, H., Wolter, F., Zakharyaschev, M.: Common knowledge and quantification. Economic Theory\u00a019, 157\u2013186 (2002)","journal-title":"Economic Theory"},{"issue":"3","key":"12_CR24","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.2307\/2695115","volume":"66","author":"F. Wolter","year":"2001","unstructured":"Wolter, F., Zakharyaschev, M.: Decidable fragments of first-order modal logics. Journal of Symbolic Logic\u00a066(3), 1415\u20131438 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"1-2","key":"12_CR25","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0168-0072(01)00124-5","volume":"118","author":"F. Wolter","year":"2002","unstructured":"Wolter, F., Zakharyaschev, M.: Axiomatizing the monodic fragment of first-order temporal logic. Annals of Pure and Applied Logic\u00a0118(1-2), 133\u2013145 (2002)","journal-title":"Annals of Pure and Applied Logic"},{"issue":"2","key":"12_CR26","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1005271815356","volume":"65","author":"F. Wolter","year":"2000","unstructured":"Wolter, F.: First order common knowledge logics. Studia Logica\u00a065(2), 249\u2013271 (2000)","journal-title":"Studia Logica"},{"key":"12_CR27","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/ICMAS.2000.858426","volume-title":"Proceedings of the International Conference on Multi-Agent Systems (ICMAS 2000)","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Computationally grounded theories of agency. In: Proceedings of the International Conference on Multi-Agent Systems (ICMAS 2000), pp. 13\u201322. IEEE Press, Los Alamitos (2000)"},{"key":"12_CR28","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.: Reasoning about Rational Agents. MIT Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02261-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T23:58:53Z","timestamp":1739145533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}