{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:28Z","timestamp":1725456148428},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354057395X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0028194","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T03:19:00Z","timestamp":1132629540000},"page":"145-150","source":"Crossref","is-referenced-by-count":4,"title":["Translating inaccessible worlds logic into bimodal logic"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Gasquet","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"L. Catach, \u201cNormal multimodal logics\u201d. Proc. Nat. Conf. on AI (AAAI 88), pp. 491\u2013495, 1988."},{"key":"20_CR2","unstructured":"Luis Fari\u00f1as del Cerro, Andreas Herzig, \u201cAutomated Deduction for Epistemic and Temporal Logics\u201d. Handbook of Logic in AI (eds D. Gabbay, A. Galton, C. Hogger), Oxford University Press, to appear."},{"key":"20_CR3","unstructured":"Olivier Gasquet, \u201cDeduction for Multimodal Logics\u201d. International Conference on Applied Logic (Logic at Work'93), Amsterdam, Holland, 1993."},{"key":"20_CR4","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1305\/ndjfl\/1093635335","volume":"31","author":"V. Goranko","year":"1990","unstructured":"Valentin Goranko, \u201cModal Definability in Enriched Languages\u201d. Notre Dame Journal of Formal Logic, vol. 31, 81\u2013105, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR5","unstructured":"Valentin Goranko, Solomon Passy, \u201cUsing the Universal Modality: Profits and Questions\u201d. Report, Sofia University, July 1989."},{"key":"20_CR6","unstructured":"G. Hughes, M. J. Cresswell, \u201cA companion to modal logic\u201d. Methuen & Co. Ltd, 1984."},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1305\/ndjfl\/1093870378","volume":"24","author":"I. Humberstone","year":"1983","unstructured":"I. Humberstone, \u201cInaccessible worlds\u201d. Notre Dame Journal of Formal Logic, vol. 24, 346\u2013352, 1983.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"20_CR8","first-page":"263","volume":"42","author":"H. Levesque","year":"1990","unstructured":"H. Levesque, \u201cAll I know: A study in autoepistemic logic\u201d. J. of AI, 42: 263\u2013309, 1990.","journal-title":"J. of AI"},{"key":"20_CR9","unstructured":"Andreas Nonnengart, \u201cFirst-Order Modal Logic Theorem Proving and Functional Simulation\u201d, International Joint Conference on Artificial Intelligence, Chamb\u00e9ry, France, 1993."},{"issue":"5","key":"20_CR10","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"Hans J\u00fcrgen Ohlbach, \u201cSemantics-Based Translation Method for Modal Logics\u201d. J. of Logic and Computation, Vol. 1, 5, pp. 691\u2013746, 1991.","journal-title":"J. of Logic and Computation"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Hans J\u00fcrgen Ohlbach, \u201cOptimized Translation of Multi-Modal Logic into Predicate Logic\u201d. Proc. of Logic Programming and Automated Reasoning (LPAR), (ed. A. Voronkov), Springer Verlag, LNAI, 1993.","DOI":"10.1007\/3-540-56944-8_58"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0028194","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T00:06:24Z","timestamp":1572912384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028194"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354057395X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0028194","relation":{},"subject":[]}}