{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:13:39Z","timestamp":1762100019560},"reference-count":21,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[1996,4,1]]},"DOI":"10.1305\/ndjfl\/1040046088","type":"journal-article","created":{"date-parts":[[2003,2,25]],"date-time":"2003-02-25T21:10:53Z","timestamp":1046207453000},"source":"Crossref","is-referenced-by-count":18,"title":["Minimal Temporal Epistemic Logic"],"prefix":"10.1215","volume":"37","author":[{"given":"Joeri","family":"Engelfriet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"8","doi-asserted-by":"publisher","unstructured":"Finger, M., and D. M. Gabbay, \u201cAdding a temporal dimension to a logic system,\u201d <i>Journal of Logic, Language and Information<\/i>, vol. 1 (1992), pp. 203\u2013233. Zbl 0798.03031 MR 95h:03037","DOI":"10.1007\/BF00156915"},{"key":"1","doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C. E., P. G\u00e4rdenfors, and D. Makinson, \u201cOn the logic of theory change: partial meet contraction and revision functions,\u201d <i>The Journal of Symbolic Logic<\/i>, vol. 50 (1985), pp. 510\u2013530. Zbl 0578.03011 MR 87c:03020","DOI":"10.2307\/2274239"},{"key":"2","unstructured":"Andr\u00e9ka, H., J. van Benthem, and I. N\u00e9meti, \u201cBack and forth between modal logic and classical logic,\u201d Institute for Language, Logic and Information, Report ML-95-04, Amsterdam, 1995. Forthcoming in: <i>Bulletin of the Interest Group for Pure and Applied Logics<\/i>. Zbl 0840.03010 MR 96k:03036"},{"key":"3","doi-asserted-by":"crossref","unstructured":"de Bakker, J. W., W.-P. de Roever, and G. Rozenberg, <i>Linear Time, Branching Time and Partial Orders in Logics and Models for Concurrency<\/i>, Lecture Notes in Computer Science, vol. 354, Springer-Verlag, Berlin, 1989. Zbl 0683.68001 MR 90i:68009","DOI":"10.1007\/BFb0013019"},{"key":"4","unstructured":"Donini, F. M., D. Nardi, and R. Rosati, \u201cGround nonmonotonic modal logics for knowledge representation,\u201d pp. 133-144 in <i>Proceedings of the Second World Congress on Fundamentals of Artificial Intelligence,WOCFAI-95<\/i>, edited by M. De Glas and Z. Pawlak, Angkor, Paris, 1995."},{"key":"5","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., and J. Treur, \u201cA temporal model theory for default logic,\u201d pp. 91\u201396 in <i>Proceedings of the 2nd European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, ECSQARU '93<\/i>, edited by M. Clarke, R. Kruse, and S. Moral, Lecture Notes in Computer Science, vol. 747, Springer-Verlag, Berlin, 1993. MR 95e:03092","DOI":"10.1007\/BFb0028187"},{"key":"6","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., and J. Treur, \u201cTemporal theories of reasoning,\u201d pp. 279\u2013299 in <i>Logics in Artificial Intelligence, Proceedings of the 4th European Workshop on Logics in Artificial Intelligence, JELIA '94<\/i>, edited by C. MacNish, D. Pearce, and L. M. Pereira, Lecture Notes in Artificial Intelligence, vol. 838, Springer-Verlag, Berlin, 1994. MR 1320729","DOI":"10.1007\/BFb0021979"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Engelfriet, J., and J. Treur, \u201cSpecification of nonmonotonic reasoning,\u201d pp. 111\u2013125 in <i>Practical Reasoning, Proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR'96<\/i>, edited by D. M. Gabbay and H. J. Ohlbach, Lecture Notes in Artificial Intelligence, vol. 1085, Springer-Verlag, Berlin, 1996. MR 1457030","DOI":"10.1007\/3-540-61313-7_67"},{"key":"9","unstructured":"Gabbay, D. M., C. J. Hogger, and J. A. Robinson, <i>Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3: Nonmonotonic Reasoning and Uncertain Reasoning<\/i>, Oxford University Press, Oxford, 1994. Zbl 0804.03017 MR 95b:03003"},{"key":"10","unstructured":"Goldblatt, R., <i>Logics of Time and Computation<\/i>, CSLI Lecture Notes, No. 7, Stanford University Press, Palo Alto, 1992. Zbl 0635.03024 MR 88k:03058"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Gottlob, G., \u201cComplexity results for nonmonotonic logics,\u201d <i>Journal of Logic and Computation<\/i>, vol. 2, (1992), pp. 397\u2013425. Zbl 0765.03012 MR 93i:03034","DOI":"10.1093\/logcom\/2.3.397"},{"key":"12","unstructured":"Halpern, J. Y., and Y. Moses, \u201cTowards a theory of knowledge and ignorance,\u201d pp. 125\u2013143 in <i>Proceedings of the Workshop on Non-monotonic Reasoning<\/i>, AAAI Press, Menlo Park, 1984."},{"key":"13","unstructured":"Halpern, J. Y., and Y. Moses, \u201cA guide to the modal logics of knowledge and belief,\u201d pp. 480\u2013490 in <i>Proceedings of the 9th IJCAI<\/i>, edited by A. Joshi, Kaufmann, Los Altos, 1985."},{"key":"14","doi-asserted-by":"crossref","unstructured":"Johnson, D. S., \u201cA catalog of complexity classes,\u201d pp. 67\u2013161 in <i>Handbook of Theoretical Computer Science, vol. A: Algorithms and complexity,<\/i> edited by J. van Leeuwen, Elsevier Science Publishers, Amsterdam, 1990. Zbl 0900.68246 MR 1127168","DOI":"10.1016\/B978-0-444-88071-0.50007-2"},{"key":"15","doi-asserted-by":"crossref","unstructured":"Ladner, R. E., \u201cThe computational complexity of provability in systems of modal propositional logic,\u201d <i>SIAM<\/i> Journal on Computing, vol. 6 (1977), pp. 467\u2013480. Zbl 0373.02025 MR 56:8326","DOI":"10.1137\/0206033"},{"key":"16","unstructured":"Meyer, J.-J. Ch., and W. van der Hoek, <i>Epistemic Logic for Computer Science and Artificial Intelligence<\/i>, Cambridge Tracts in Theoretical Computer Science, vol. 41, Cambridge University Press, Cambridge, 1995. Zbl 0868.03001 MR 96m:68166"},{"key":"17","doi-asserted-by":"crossref","unstructured":"Papadimitriou, C. H., and M. Sideri, \u201cOn finding extensions of default theories,\u201d pp. 276\u2013281 in <i>Proceedings of the 4th International Conference on Database Theory, ICDT-92<\/i>, edited by J. Biskup and R. Hull, Lecture Notes in Computer Science, vol. 646, Springer-Verlag, Berlin, 1992.","DOI":"10.1007\/3-540-56039-4_47"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Reiter, R., \u201cA logic for default reasoning,\u201d <i>Artificial Intelligence<\/i>, vol. 13 (1980), pp. 81\u2013132. Zbl 0435.68069 MR 83e:68138","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Sistla, A. P., and E. M. Clarke, \u201cThe complexity of propositional linear temporal logics,\u201d <i>Journal of the ACM<\/i>, vol. 32 (1985), pp. 733\u2013749. Zbl 0632.68034 MR 87j:68077","DOI":"10.1145\/3828.3837"},{"key":"20","unstructured":"Stillman, J., \u201cThe complexity of propositional default logics,\u201d pp. 794 \u2013799 in <i>Proceedings AAAI-92<\/i>, edited by W. Swartout, AAAI Press, Menlo Park, 1992. MR 93k:68089"},{"key":"21","doi-asserted-by":"crossref","unstructured":"van Benthem, J. F. A. K., \u201cSemantic parallels in natural language and computation,\u201d pp. 331\u2013375 in <i>Logic Colloquium, Granada 1987<\/i>, edited by H. D. Ebbinghaus et al., North Holland, Amsterdam, 1989. Zbl 0694.03022 MR 91k:03075","DOI":"10.1016\/S0049-237X(08)70133-2"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1305\/ndjfl\/1040046088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:12:48Z","timestamp":1706649168000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-37\/issue-2\/Minimal-Temporal-Epistemic-Logic\/10.1305\/ndjfl\/1040046088.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,4,1]]},"references-count":21,"journal-issue":{"issue":"2","published-online":{"date-parts":[[1996,4,1]]}},"URL":"https:\/\/doi.org\/10.1305\/ndjfl\/1040046088","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[1996,4,1]]}}}