{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:47Z","timestamp":1725663527672},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540520627"},{"type":"electronic","value":"9783540468752"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52062-7_77","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:20:48Z","timestamp":1330204848000},"page":"156-176","source":"Crossref","is-referenced-by-count":0,"title":["Exploring the epistemic labyrinth: New directions in the formal theory of knowledge representation"],"prefix":"10.1007","author":[{"given":"Roderic A.","family":"Girle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"McRobbie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"13_CR1","unstructured":"Barca, A. and McRobbie, M.A. [1985] \"Proof Theoretic Interpolation Theorems for Modal Logics\", Manuscript, 1985. To be published in Investigations into Interpolation Theorems For Non-Classical Logics, by M.A. McRobbie, R.K. Meyer and A. Barca, forthcoming."},{"key":"13_CR2","unstructured":"Girle, R.A. [1970] Explanatory Models for Knowledge and Belief, M.A. Thesis, University of Queensland."},{"key":"13_CR3","first-page":"359","volume":"64","author":"R.A. Girle","year":"1973","unstructured":"[1973] \"Epistemic Logic, Language, and Concepts\", Logique et Analyse, 64, 359\u2013373","journal-title":"Logique et Analyse"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1305\/ndjfl\/1093891791","volume":"16","author":"R.A. Girle","year":"1975","unstructured":"[1975] \"S1\u2260S0.9\", Notre Dame Journal of Formal Logic, 16, 339\u2013344","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1305\/ndjfl\/1093888314","volume":"19","author":"R.A. Girle","year":"1978","unstructured":"[1978] \"Logics for Knowledge, Possibility and Existence\", Notre Dame Journal of Formal Logic, 19, 200\u2013214.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"13_CR6","unstructured":"Elementary Modal Logic, Class Notes, Philosophy Department, University of Queensland."},{"volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","year":"1986","key":"13_CR7","unstructured":"Halpern, J.Y. (ed.) [1986] Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, Morgan Kaufmann, Los Altos, California, 1986."},{"key":"13_CR8","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J.K. Hintikka","year":"1962","unstructured":"Hintikka, J.K. [1962] Knowledge and Belief: An Introduction to the Logic of the Two Notions, Cornell U.P. Ithaca."},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/B978-0-934613-04-0.50007-7","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","year":"1986","unstructured":"\"Reasoning about Knowledge in Philosophy: The Paradigm of Epistemic Logic\", in Halpern [1986], 63\u201380"},{"key":"13_CR10","volume-title":"An Introduction to Modal Logics","author":"G.E. Hughes","year":"1972","unstructured":"Hughes, G.E. and Cresswell, M.J. [1972] An Introduction to Modal Logics, Methuen, London, Corrected Repr."},{"key":"13_CR11","first-page":"206","volume-title":"The Theory of Models","author":"S.A. Kripke","year":"1965","unstructured":"Kripke, S.A. [1965] \"Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi\", 206\u2013220 in The Theory of Models, ed. J.W. Addison, L. Henkin and A. Tarski, North-Holland, Amsterdam."},{"key":"13_CR12","doi-asserted-by":"crossref","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"E.J. Lemmon","year":"1966","unstructured":"Lemmon, E.J. [1966] \"Algebraic Semantics for Modal Logics I, II\", Journal of Symbolic Logic, 31, 46\u201365, 191\u2013218","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR13","doi-asserted-by":"crossref","DOI":"10.1525\/9780520398252","volume-title":"A Survey of Symbolic Logic","author":"C.I. Lewis","year":"1918","unstructured":"Lewis, C.I. [1918] A Survey of Symbolic Logic, University of California, Berkeley. Lewis, C.I. and Langford, C.H."},{"key":"13_CR14","volume-title":"Symbolic Logic","author":"C.I. Lewis","year":"1932","unstructured":"[1932] Symbolic Logic, Dover, New York."},{"key":"13_CR15","unstructured":"Lusk, E., Warren, D.H.D., Haridi, S., Butler, R., Calderwood, A., Disz, T., Olson, R., Overbeek, R., Stevens, R., Szeredi, S., Brand, P., Carlsson, M., Ciepielewski, A. and Hausman, B. [1988] \"The Aurora Or-Parallel Prolog System\", Proceedings of the International Conference on Fifth Generation Computer Systems, forthcoming."},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J.C.C. McKinsey","year":"1941","unstructured":"McKinsey, J.C.C. [1941] \"A Solution to the Decision Problem for the Lewis Systems S2 and S4 with an Application to Topology\", Journal of Symbolic Logic, 6, 117\u2013134.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR17","first-page":"895","volume":"48","author":"M.A. McRobbie","year":"1983","unstructured":"McRobbie, M.A. and Barca, A. [1983] \"Constructive Interpolation Theorems for Non-Normal Modal Logics\", (Abstract), Journal of Symbolic Logic, 48, 895.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR18","first-page":"236","volume":"5","author":"M.A. McRobbie","year":"1983","unstructured":"McRobbie, M.A., Meyer, R.K. and Thistlewaite, P.B. [1983] \"Computer-Aided Investigations into the Decision Problem for Relevant Logics: The Search for a Free Associative Operation\u201d, Australian Computer Science Communications, 5, 236\u2013267. (Proceedings of the 6th Australian Computer Science Conference, ed. L.M. Goldschlager, Basser Department of Computer Science, University of Sydney.)","journal-title":"Australian Computer Science Communications"},{"key":"13_CR19","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BFb0012833","volume-title":"Proceedings of the 9th International Conference on Automated Deduction","author":"M.A. McRobbie","year":"1988","unstructured":"[1988] \"Towards Efficient \u2018Knowledge-Based\u2019 Automated Theorem Proving for Non-Classical Logics\", in Proceedings of the 9th International Conference on Automated Deduction, 197\u2013217, eds. E. Lusk and R. Overbeek, LNCS 310, Springer, Berlin."},{"key":"13_CR20","first-page":"189","volume":"9","author":"M.A. McRobbie","year":"1980","unstructured":"McRobbie, M.A., Thistlewaite, P.B. and Meyer, R.K. [1980] \"A Mechanized Decision Procedure for Non-Classical Logic: The Program KRIPKE\", Bulletin of the Section of Logic, Polish Academy of Sciences, 9, 189\u2013192.","journal-title":"Bulletin of the Section of Logic"},{"key":"13_CR21","doi-asserted-by":"crossref","first-page":"717","DOI":"10.2307\/2273610","volume":"47","author":"M.A. McRobbie","year":"1982","unstructured":"[1982] \"A Mechanized Decision Procedure for Non-Classical Logic \u2014 The Program KRIPKE\", (Abstract), Journal of Symbolic Logic, 47, 717.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR22","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1007\/BFb0012866","volume-title":"Proceedings of the 9th International Conference on Automated Deduction","author":"P.K. Malkin","year":"1988","unstructured":"Malkin, P.K. and Martin, E.P. [1988] \"Logical Matrix Generation and Testing\", in Proceedings of the 9th International Conference on Automated Deduction, 685\u2013693, eds. E. Lusk and R. Overbeek, LNCS 310, Springer, Berlin."},{"key":"13_CR23","first-page":"167","volume":"12","author":"K. Matsumoto","year":"1960","unstructured":"Matsumoto, K. [1960] \"Decision Procedure for Modal Sentential Calculus S3\", Osaka Mathematical Journal, 12, 167\u2013175.","journal-title":"Osaka Mathematical Journal"},{"key":"13_CR24","volume-title":"The Creative Computer","author":"D. Michie","year":"1985","unstructured":"Michie, D. and Johnston, R. [1985] The Creative Computer, Penguin Books, Harmondsworth."},{"key":"13_CR25","first-page":"125","volume":"13","author":"M. Chnishi","year":"1961","unstructured":"Chnishi, M. [1961a] \"Gentzen Decision Procedures for Lewis's System S2 and S3\". Osaka Mathematical Journal, 13, 125\u2013137.","journal-title":"Osaka Mathematical Journal"},{"key":"13_CR26","unstructured":"[1961b] \"Von Wright-Anderson's Decision Procedures for Lewis's Systems S2\u2013S3\", Osaka Mathematical Journal, 139\u2013142."},{"key":"13_CR27","first-page":"113","volume":"9","author":"M. Ohnishi","year":"1957","unstructured":"Ohnishi, M. and Matsumoto, K. [1957] \"Gentzen Methods in Modal Calculi I\", Osaka Mathematical Journal, 9, 113\u2013130.","journal-title":"Osaka Mathematical Journal"},{"key":"13_CR28","first-page":"115","volume":"11","author":"M. Ohnishi","year":"1959","unstructured":"[1959] \"Gentzen Methods in Modal Calculi II\", Osaka Mathematical Journal, 11, 115\u2013120.","journal-title":"Osaka Mathematical Journal"},{"key":"13_CR29","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1093\/mind\/XLIII.169.78","volume":"43","author":"W.T. Parry","year":"1934","unstructured":"Parry, W.T. [1934] \"The postulates for 'strict implication\"\u201d, Mind, 43, 78\u201380.","journal-title":"Mind"},{"key":"13_CR30","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1002\/malq.19700160207","volume":"16","author":"M.K. Rennie","year":"1970","unstructured":"Rennie, M.K. [1970] \"Models for Multiply-Modal Systems\", Zeitschrift fur mathematische Logik and Grundlagen der Mathematik, 16, 175\u2013183.","journal-title":"Zeitschrift fur mathematische Logik and Grundlagen der Mathematik"},{"key":"13_CR31","doi-asserted-by":"crossref","first-page":"466","DOI":"10.2307\/2272206","volume":"40","author":"R. Routley","year":"1975","unstructured":"Routley, R. [1975] Reviews of Matsumoto [1960], Ohnishi [1961a] and [1961b] and Ohnishi and Matsumoto [1957] and [1959], Journal of Symbolic Logic, 40, 466\u2013469.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR32","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00646387","volume":"40","author":"P.K. Schotch","year":"1981","unstructured":"Schotch, P.K. and Jennings, R.E. [1981] \"Epistemic Logic, Skepticism, and Non-Normal Modal Logic\", Philosophical Studies, 40, 47\u201367.","journal-title":"Philosophical Studies"},{"key":"13_CR33","unstructured":"Slaney, J.K. [1980] Computers and Relevant Logics: A Project in Computing Matrix Model Structures for Propositional Logics, Ph.D. Thesis, Australian National University."},{"key":"13_CR34","doi-asserted-by":"crossref","first-page":"487","DOI":"10.2307\/2274237","volume":"50","author":"J.K. Slaney","year":"1985","unstructured":"[1985] \"3088 Varieties: A Solution to the Ackermann Constant Problem\", Journal of Symbolic Logic, 50, 487\u2013501.","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR35","volume-title":"Proceedings of the 8th International Conference on Automated Deduction","author":"P.B. Thistlewaite","year":"1986","unstructured":"Thistlewaite, P.B., McRobbie, M.A. and Meyer, R.K. [1986] \"The KRIPKE Automated Theorem Proving System\", in Proceedings of the 8th International Conference on Automated Deduction, ed. J. Siekmann, LNCS 230, Springer, Berlin."},{"key":"13_CR36","volume-title":"Research Notes in Theoretical Computer Science","author":"P.B. Thistlewaite","year":"1988","unstructured":"[1988] Automated Theorem Proving in Non-Classical Logic, Research Notes in Theoretical Computer Science, Pitman, London, and Wiley, New York."},{"key":"13_CR37","first-page":"233","volume":"28","author":"P.B. Thistlewaite","year":"1985","unstructured":"Thistlewaite, P.B., Meyer, R.K. and McRobbie, M.A. [1985] \"Advanced Theorem Proving Techniques for Relevant Logics\", Logique et Analyse, 28, 233\u2013256.","journal-title":"Logique et Analyse"},{"key":"13_CR38","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/B978-0-934613-04-0.50024-7","volume-title":"Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference","author":"M.Y. Vardi","year":"1986","unstructured":"Vardi, M.Y. [1986] \"On Epistemic Logic and Logical Omniscience\", in Halpern [1986], 293\u2013305."},{"key":"13_CR39","volume-title":"Modal Logics: The Lewis-Modal Systems","author":"J.J. Zeman","year":"1973","unstructured":"Zeman, J.J. [1973] Modal Logics: The Lewis-Modal Systems, Oxford U.P., London."}],"container-title":["Lecture Notes in Computer Science","AI '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52062-7_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T13:26:01Z","timestamp":1713619561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52062-7_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540520627","9783540468752"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-52062-7_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}