{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:13:51Z","timestamp":1750997631731,"version":"3.41.0"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3,6]]},"DOI":"10.1093\/logcom\/exx040","type":"journal-article","created":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T11:09:55Z","timestamp":1508843395000},"page":"451-473","source":"Crossref","is-referenced-by-count":0,"title":["Tableaux for a combination of propositional dynamic logic and epistemic logic with interactions*"],"prefix":"10.1093","volume":"28","author":[{"given":"Yanjun","family":"Li","sequence":"first","affiliation":[{"name":"Philosophy College, Nankai University, China"}]}],"member":"286","published-online":{"date-parts":[[2017,11,20]]},"reference":[{"volume-title":"Tableau-based Decision Procedures for Epistemic and Temporal Epistemic Logics","year":"2013","author":"Ajspur","key":"key\n\t\t\t\t20180306103614_B1"},{"key":"key\n\t\t\t\t20180306103614_B2","first-page":"80","article-title":"Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.","volume-title":"In Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10\u201312, 2013. Proceedings","author":"Ajspur","year":"2013"},{"key":"key\n\t\t\t\t20180306103614_B3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"key\n\t\t\t\t20180306103614_B4","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/978-3-319-08587-6_21","article-title":"Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL$^+$.","volume-title":"Automated Reasoning","author":"Cerrito","year":"2014"},{"key":"key\n\t\t\t\t20180306103614_B5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about knowledge","author":"Fagin","year":"1995"},{"key":"key\n\t\t\t\t20180306103614_B6","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs.","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"volume-title":"Many-dimensional Modal Logics: Theory and Applications","year":"2003","author":"Gabbay","key":"key\n\t\t\t\t20180306103614_B7"},{"key":"key\n\t\t\t\t20180306103614_B8","doi-asserted-by":"crossref","first-page":"3:1","DOI":"10.1145\/1614431.1614434","article-title":"Tableau-based decision procedures for logics of strategic ability in multiagent systems.","volume":"11","author":"Goranko","year":"2009","journal-title":"ACM Transactions on Computational Logic"},{"key":"key\n\t\t\t\t20180306103614_B9","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/978-3-642-14203-1_20","article-title":"Optimal and cut-free tableaux for propositional dynamic logic with converse.","volume-title":"In Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16\u201319, 2010. Proceedings","author":"Gor\u00e9","year":"2010"},{"key":"key\n\t\t\t\t20180306103614_B10","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1137\/S0097539797320906","article-title":"omplete axiomatizations for reasoning about knowledge and time.","volume":"33","author":"Halpern","year":"2004","journal-title":"SIAM Journal on Computing"},{"volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","year":"1962","author":"Hintikka","key":"key\n\t\t\t\t20180306103614_B11"},{"key":"key\n\t\t\t\t20180306103614_B12","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","article-title":"Properties of independently axiomatizable bimodal logics.","volume":"56","author":"Kracht","year":"1991","journal-title":"The Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180306103614_B13","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1004900300438","article-title":"Simulation and transfer results in modal logic: a survey.","volume":"59","author":"Kracht","year":"1997","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180306103614_B14","first-page":"230","volume-title":"Tableaux for Single-Agent Epistemic PDL with Perfect Recall and No Miracles","author":"Yanjun.","year":"2015"},{"key":"key\n\t\t\t\t20180306103614_B15","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1023\/A:1025007018583","article-title":"A knowledge based semantics of messages.","volume":"12","author":"Parikh","year":"2003","journal-title":"Journal of Logic, Language and Information"},{"key":"key\n\t\t\t\t20180306103614_B16","first-page":"326","article-title":"A practical decision method for propositional dynamic logic: Preliminary report.","author":"Pratt","year":"1978","journal-title":"Proceedings of the 10th Annual ACM Symposium on Theory of Computing, May 1\u20133, 1978, San Diego, California, USA"},{"key":"key\n\t\t\t\t20180306103614_B17","first-page":"371","article-title":"Combining dynamic logic with doxastic modal logics.","volume-title":"Advances in Modal Logic","author":"Schmidt","year":"2002"},{"key":"key\n\t\t\t\t20180306103614_B18","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s10849-007-9041-6","article-title":"On combinations of propositional dynamic logic and doxastic modal logics.","volume":"17","author":"Schmidt","year":"2008","journal-title":"Journal of Logic, Language and Information"},{"key":"key\n\t\t\t\t20180306103614_B19","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s11225-004-6042-1","article-title":"Interactions between knowledge, action and commitment within agent dynamic logic.","volume":"78","author":"Schmidt","year":"2004","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180306103614_B20","first-page":"889","article-title":"Conformant graphplan.","volume-title":"Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference","author":"Smith","year":"1998"},{"key":"key\n\t\t\t\t20180306103614_B21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9674.001.0001","volume-title":"Logic in Games","author":"van Benthem","year":"2014"},{"key":"key\n\t\t\t\t20180306103614_B22","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","article-title":"Merging frameworks for interaction.","volume":"38","author":"van Benthem","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180306103614_B23","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","article-title":"On axiomatizations of public announcement logic.","volume":"190","author":"Wang","year":"2013","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20180306103614_B24","first-page":"119","article-title":"The tableau method for temporal logic: an overview.","volume":"28","author":"Wolper","year":"1985","journal-title":"Logique et Analyse"},{"key":"key\n\t\t\t\t20180306103614_B25","first-page":"298","article-title":"A dynamic epistemic framework for conformant planning.","volume-title":"Proceedings of the 15th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Pittsburgh, USA, June 4\u20136, 2015","author":"Yu","year":"2016"},{"key":"key\n\t\t\t\t20180306103614_B26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-94-017-0454-0_2","article-title":"Advanced modal logic.","volume-title":"Handbook of Philosophical Logic","author":"Zakharyaschev","year":"2001"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/2\/451\/24261891\/exx040.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T18:20:10Z","timestamp":1750962010000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/2\/451\/4643600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11,20]]},"references-count":26,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,11,20]]},"published-print":{"date-parts":[[2018,3,6]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exx040","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published-other":{"date-parts":[[2018,3]]},"published":{"date-parts":[[2017,11,20]]}}}