{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T02:10:14Z","timestamp":1743214214283,"version":"3.40.3"},"reference-count":24,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/11663081.1995.10510846","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:07:40Z","timestamp":1338365260000},"page":"121-135","source":"Crossref","is-referenced-by-count":2,"title":["Generalized compactness of nonmonotonic inference operations"],"prefix":"10.1080","volume":"5","author":[{"given":"Heinrich","family":"Herre","sequence":"first","affiliation":[]}],"member":"301","reference":[{"volume-title":"Model-Theoretic Logics","year":"1985","author":"Barwise J.","key":"CIT0001"},{"unstructured":"Bell, J. 1991. \u201cPragmatic Logics, in: Proc. of 2nd. Int. Conference of Knowledge Representation and Reasoning, Cambridge MA\u201d.","key":"CIT0002"},{"unstructured":"Dietrich, J. 1994. \u201cDeductive Bases of Nonmonotonic Inference Operations; NTZ Report 7\/94, Universit\u00e4t Leipzig\u201d.","key":"CIT0003"},{"unstructured":"Dietrich, J. and Herre, H. 1994. \u201cOutline of Nonmonotonic Model Theory; NTZ Report 5\/94, Universit\u00e4t Leipzig\u201d.","key":"CIT0004"},{"unstructured":"Dix, J. 1992. \u201cNichtmonotones Schliessen und dessen Anwendung auf Semantiken logischer Programme, Doctoral Dissertation, Karlsruhe\u201d.","key":"CIT0005"},{"unstructured":"Freund, M., Lehmann, D. and Makinson, D. 1990. \u201cCanonical Extensions to the Infinite Case of Finitary Nonmonotonic Inference Operations; Arbeitspapiere der GMD 443\u201d.","key":"CIT0006"},{"key":"CIT0007","first-page":"59","volume":"543","author":"Freund M.","year":"1991","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"Freund, M. and Lehmann, D. 1993. \u201cNonmonotonic inference operations; Bulletin of the IGPL, vol. 1\u201d. no. 1 (edited by the Max-Planck-Institute f\u00fcr Mathematik)","key":"CIT0008","DOI":"10.1093\/jigpal\/1.1.23"},{"doi-asserted-by":"crossref","unstructured":"Freund and Lehmann, M. D. 1994. Vol. 53, 161\u2013201. Nonmontonic inference operations; from finitary Relations to Infinitary Operations; Studia Logica","key":"CIT0009","DOI":"10.1007\/BF01054708"},{"key":"CIT0010","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526664","volume-title":"(Ed.): Belief Revision;","author":"G\u00e4rdenfors P.","year":"1992"},{"doi-asserted-by":"crossref","unstructured":"Gabbay, D. 1985. \u201cTheoretical Foundations for Nonmonotonic Reasoning in Expert Systems;\u201d. Edited by: Apt, K. Logic and Models of Concurrent Systems, Springer, Berlin","key":"CIT0011","DOI":"10.1007\/978-3-642-82453-1_15"},{"doi-asserted-by":"crossref","unstructured":"Herre, H. 38\u201358. Nonmonotonic Reasoning and Logic Programs NIL'91, LNCS vol. 543","key":"CIT0012","DOI":"10.1007\/BFb0023316"},{"unstructured":"Herre, H. 1993. Edited by: Marek, V., Nerode, A. and Schmitt, P. H. Contributions to nonmonotonic model theory, Workshop on Non- classical Logics in Computer Science, Dagstuhl-Berichte","key":"CIT0013"},{"unstructured":"Herre, H. 1994. \u201cCompactnesss properties of nonmonotonic inference operations; Jelia'94, in: LNAI vol.838\u201d. 19\u201333.","key":"CIT0014"},{"key":"CIT0015","volume":"44","author":"Kraus S.","year":"1990","journal-title":"Preferential models and cumulative logics; A.I."},{"unstructured":"Kolaitis, P. G. and V\u00e4\u00e4n\u00e4nen, J. A. 1993. \u201cGeneralized Quantifiers and Pebble Games on Finite Structures, Preprint, University of Helsinki\u201d.","key":"CIT0016"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1755-2567.1969.tb00356.x","volume":"35","author":"Lindstr\u00f6m P.","year":"1969","journal-title":"Theoria"},{"unstructured":"Lindstr\u00f6m, S. 1991. A semantic approach to nonmonotonic reasoning: inference operations and choice; Dept. of Philosophy, Uppsala University, Preprint","key":"CIT0018"},{"doi-asserted-by":"crossref","unstructured":"Makinson, D. 1989. \u201cGeneral Theory of Cumulative Inference\u201d. Edited by: Reinfrank, M. 1\u201318. Non-monotonic Reasoning, LNAI vol. 346 Berlin Springer-Verlag","key":"CIT0019","DOI":"10.1007\/3-540-50701-9_16"},{"doi-asserted-by":"crossref","unstructured":"Makinson, D. 1993. \u201cGeneral Patterns in Nonmonotonic Reasoning;\u201d. Edited by: Gabbay, D. Oxford University Press. Handbook of Logic in Artificial Intelligence and Logic Programming","key":"CIT0020","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"unstructured":"Pearce, D. 1993. \u201cRemarks on Monmonotonicity and Supraclassicality, Preprint, Berlin\u201d.","key":"CIT0021"},{"doi-asserted-by":"crossref","unstructured":"Rautenberg, W. 1979. \u201cKlassische und nichtklassische Aussagenlogik, Vieweg\u201d.","key":"CIT0022","DOI":"10.1007\/978-3-322-85796-5"},{"unstructured":"Tarski, A. 1956. \u201cLogic, Semantics, Metamathematics. Papers from 1923\u20131938. Clarendon Press, Oxford\u201d.","key":"CIT0023"},{"doi-asserted-by":"crossref","unstructured":"Thiele, H. 1989. \u201cMonotones und nicht monotones Schliessen; in: Grabowski, J., Jantke, H.J., H.Thiele: Grundlagen der K\u00fcnstlichen Intelligenz, 80\u2014160, Akademie-Verlag, Berlin\u201d.","key":"CIT0024","DOI":"10.1515\/9783112717035-005"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T01:47:27Z","timestamp":1743212847000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1995.10510846"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/11663081.1995.10510846"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1995.10510846","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}