{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:51Z","timestamp":1747546911951},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1996,5,1]],"date-time":"1996-05-01T00:00:00Z","timestamp":830908800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1996,5]]},"DOI":"10.1007\/bf00372771","type":"journal-article","created":{"date-parts":[[2004,11,2]],"date-time":"2004-11-02T20:17:26Z","timestamp":1099426646000},"page":"323-360","source":"Crossref","is-referenced-by-count":8,"title":["Honesty in partial logic"],"prefix":"10.1007","volume":"56","author":[{"given":"Wiebe","family":"van der Hoek","sequence":"first","affiliation":[]},{"given":"Jan","family":"Jaspars","sequence":"additional","affiliation":[]},{"given":"Elias","family":"Thijsse","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Contributions to Mathematical Logic","author":"P. Aczel","year":"1968","unstructured":"Aczel, P. ?Saturated intuitionistic theories?, in: H. Schmidt, K. Sch\u00fctte & H. Thielle (eds.) Contributions to Mathematical Logic, 1?13, North-Holland, Amsterdam, 1968."},{"key":"CR2","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J. & Perry, J., Situations and Attitudes, MIT Press, Cambridge (USA), 1983."},{"key":"CR3","volume-title":"Language in Action. Categories, Lambdas and Dynamic Logic","author":"J. Benthem van","year":"1991","unstructured":"Benthem, van J., Language in Action. Categories, Lambdas and Dynamic Logic, North-Holand, Amsterdam, 1991."},{"key":"CR4","volume-title":"Handbook of Philosophical Logic, volume 3","author":"S. Blamey","year":"1986","unstructured":"Blamey, S., ?Partial Logic?, in: Gabbay & G\u00fcnthner (eds) Handbook of Philosophical Logic, volume 3, Reidel, Dordrecht, 1986."},{"key":"CR5","volume-title":"Logics and Models of Concurrent Systems","author":"J. Halpern","year":"1985","unstructured":"Halpern, J. & Y. Moses, ?Towards a theory of knowledge and ignorance?, in Kr. Apt (ed.) Logics and Models of Concurrent Systems, Springer-Verlag, Berlin, 1985."},{"key":"CR6","volume-title":"A Companion to Modal Logic","author":"G. Hughes","year":"1984","unstructured":"Hughes, G. & M. Cresswell ? A Companion to Modal Logic, Methuen, London, 1984."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/B978-1-4832-1452-8.50149-4","volume-title":"Proceedings of the fourth international conference on Principles of Knowledge Representation and Reasoning (KR'94)","author":"W. Hoek van der","year":"1994","unstructured":"Hoek, van der W., J. Jaspars & E. Thijsse, ?Honesty in Partial Logic?, in J. Doyle, E. Sandewall, P. Torasso (eds.) Proceedings of the fourth international conference on Principles of Knowledge Representation and Reasoning (KR'94), Morgan Kaufmann, San Francisco, 1994, 583?594."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BFb0018449","volume-title":"Logics in AI","author":"J. Jaspars","year":"1991","unstructured":"Jaspars, J., ?Theoretical circumscription in partial modal logic?, in: J. van Eijck (ed.), Logics in AI, Proceedings JELIA '90, 301?316, LNCS 478, Springer-Verlag, Berlin, 1991."},{"key":"CR9","volume-title":"Proceedings of the Ninth Workshop on Computer Science Logic (CSL '90)","author":"J. Jaspars","year":"1991","unstructured":"Jaspars, J., ?A generalization of stability and its application to circumscription of positive introspective knowledge?, Proceedings of the Ninth Workshop on Computer Science Logic (CSL '90), Springer-Verlag, Berlin, 1991."},{"key":"CR10","series-title":"Banach Center Publications","volume-title":"Algebraic Methods in Logic and in Computer Science","author":"J. Jaspars","year":"1993","unstructured":"Jaspars, J., ?Normal forms in partial modal logic?, in: C. Rauszer (ed.), Algebraic Methods in Logic and in Computer Science, Banach Center Publications, volume 28, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 1993."},{"key":"CR11","unstructured":"Jaspars, J., Calculi for Constructive Communication: A Study of the Dynamics of Partial States, doctoral dissertation, ILLC Dissertation Series 1994?4 & ITK Dissertation Series 1994?1, Amsterdam, 1994."},{"key":"CR12","unstructured":"Jaspars, J. & E. Thijsse, ?Fundamentals of Partial Modal Logic?, in P. Doherty (ed.) Partiality, Modality, Nonmonotonicity, CSLI Publications, Studies in Logic, Language and Information (to appear)."},{"key":"CR13","unstructured":"Langholm, T., Partiality, Truth and Persistence, CSLI Lecture Notes No. 15, Stanford CA, 1988."},{"key":"CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Moore, R., ?Semantical considerations on non-monotonic logic?, Artificial Intelligence 25, 75?94, 1985.","journal-title":"Artificial Intelligence"},{"key":"CR15","volume-title":"Proceedings of TARK 4","author":"G. Schwarz","year":"1992","unstructured":"Schwarz, G. & M. Truszczy?ski, ?Modal logic S4F and the minimal knowledge paradigm?, in Y. Moses (ed.), Proceedings of TARK 4, (Monterey CA), Morgan Kaufmann, Palo Alto CA, 1992."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(93)90104-J","volume":"64","author":"R. Stalnaker","year":"1993","unstructured":"Stalnaker, R., ?A note on non-monotonic modal logic, Artificial Intelligence 64, 183?196, 1993","journal-title":"Artificial Intelligence"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(87)90012-0","volume":"49","author":"C. Stirling","year":"1987","unstructured":"Stirling, C., ?Modal logics for communication systems?, Theoretical Computer Science 49, 311?347, 1987.","journal-title":"Theoretical Computer Science"},{"key":"CR18","volume-title":"The M.I.T. Series in Computer Science","author":"J. Stoy","year":"1977","unstructured":"Stoy, J., Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, The M.I.T. Series in Computer Science, M.I.T. Press, Cambridge MA, 1977."},{"key":"CR19","first-page":"555","volume-title":"Proceedings of the 7 th Amsterdam Colloquium, volume 2","author":"E. Thijsse","year":"1990","unstructured":"Thijsse, E. ? ?Partial propositional and modal logic: the overall theory?, M. Stokhof & L. Torenvliet (eds.) Proceedings of the 7 th Amsterdam Colloquium, volume 2, 555?579, ITLI, Amsterdam, 1990."},{"key":"CR20","volume-title":"Partial logic and knowledge representation, doctoral dissertation","author":"E. Thijsse","year":"1992","unstructured":"Thijsse, E., Partial logic and knowledge representation, doctoral dissertation, Eburon Publishers, Delft, 1992."},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2270047","volume":"33","author":"R.H. Thomason","year":"1968","unstructured":"Thomason, R.H. ?On the strong semantical completeness proof of intuitionistic predicate logic?, Journal of Symbolic Logic 33:1, 1?7, 1968.","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00372771.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00372771\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00372771","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T21:44:58Z","timestamp":1554759898000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00372771"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,5]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,5]]}},"alternative-id":["BF00372771"],"URL":"https:\/\/doi.org\/10.1007\/bf00372771","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,5]]}}}