{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:53:10Z","timestamp":1757627590056,"version":"3.44.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032045867"},{"type":"electronic","value":"9783032045874"}],"license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-04587-4_18","type":"book-chapter","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T09:28:50Z","timestamp":1756805330000},"page":"290-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["From Modal Ockham Algebras to\u00a0Modal Berman Variety: Relational Semantics and\u00a0Kripke-Completeness"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5975-2333","authenticated-orcid":false,"given":"Yiheng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"issue":"4","key":"18_CR1","first-page":"293","volume":"41","author":"M Banerjee","year":"1993","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough algebra. Bull. Pol. Acad. Sci. 41(4), 293\u2013297 (1993)","journal-title":"Bull. Pol. Acad. Sci."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough consequence and rough algebra. In: Rough Sets, Fuzzy Sets and Knowledge Discovery: Proceedings of the International Workshop on Rough Sets and Knowledge Discovery (RSKD\u201993), pp. 196\u2013207. Springer (1994)","DOI":"10.1007\/978-1-4471-3238-7_24"},{"issue":"3\u20134","key":"18_CR3","first-page":"211","volume":"28","author":"M Banerjee","year":"1996","unstructured":"Banerjee, M., Chakraborty, M.K.: Rough sets through algebraic logic. Fund. Inform. 28(3\u20134), 211\u2013221 (1996)","journal-title":"Fund. Inform."},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/BF01836429","volume":"16","author":"J Berman","year":"1977","unstructured":"Berman, J.: Distributive lattices with an additional unary operation. Aequationes Math. 16, 165\u2013171 (1977)","journal-title":"Aequationes Math."},{"issue":"3","key":"18_CR5","first-page":"259","volume":"5","author":"A Bia\u0142ynicki-Birula","year":"1957","unstructured":"Bia\u0142ynicki-Birula, A., Rasiowa, H.: On the representation of quasi-Boolean algebras. Bull. Pol. Acad. Sci. Cl. III 5(3), 259\u2013261 (1957)","journal-title":"Bull. Pol. Acad. Sci. Cl. III"},{"key":"18_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Blyth, T.S., Varlet, J.C.: Ockham Algebras. Oxford Science Publications (1994)","DOI":"10.1093\/oso\/9780198599388.001.0001"},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0021-8693(88)90248-7","volume":"117","author":"T Blyth","year":"1988","unstructured":"Blyth, T., Noor, A., Varlet, J.: Ockham algebras with de Morgan skeletons. J. Algebra 117(1), 165\u2013178 (1988)","journal-title":"J. Algebra"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039700693","volume":"38","author":"S Celani","year":"1997","unstructured":"Celani, S., Jansana, R.: A new semantics for positive modal logic. Notre Dame J. Formal Logic 38(1), 1\u201318 (1997)","journal-title":"Notre Dame J. Formal Logic"},{"issue":"6","key":"18_CR10","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1093\/jigpal\/7.6.683","volume":"7","author":"S Celani","year":"1999","unstructured":"Celani, S., Jansana, R.: Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic. Log. J. IGPL 7(6), 683\u2013715 (1999)","journal-title":"Log. J. IGPL"},{"issue":"1","key":"18_CR11","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s11225-011-9328-0","volume":"98","author":"SA Celani","year":"2011","unstructured":"Celani, S.A.: Classical modal De Morgan algebras. Stud. Logica. 98(1), 251\u2013266 (2011)","journal-title":"Stud. Logica."},{"key":"18_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"BA Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K.: Negation in the light of modal logic. In: What is Negation? Springer (1999)","DOI":"10.1007\/978-94-015-9309-0_4"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Dunn, J.M.: Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. In: European Workshop on Logics in Artificial Intelligence, pp. 31\u201351. Springer (1990)","DOI":"10.1007\/BFb0018431"},{"key":"18_CR15","doi-asserted-by":"publisher","first-page":"331","DOI":"10.2307\/2214128","volume":"7","author":"JM Dunn","year":"1993","unstructured":"Dunn, J.M.: Star and perp: two treatments of negation. Philos. Perspect. 7, 331\u2013357 (1993)","journal-title":"Philos. Perspect."},{"issue":"2","key":"18_CR16","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M.: Positive modal logic. Stud. Logica. 55(2), 301\u2013317 (1995)","journal-title":"Stud. Logica."},{"key":"18_CR17","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11225-005-8470-y","volume":"80","author":"JM Dunn","year":"2005","unstructured":"Dunn, J.M., Zhou, C.: Negation in the context of gaggle theory. Stud. Logica. 80, 235\u2013264 (2005)","journal-title":"Stud. Logica."},{"key":"18_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/11828563_11","volume-title":"Relations and Kleene Algebra in Computer Science","author":"W Dzik","year":"2006","unstructured":"Dzik, W., Orlowska, E., van Alten, C.: Relational representation theorems for general lattices with negations. In: Schmidt, R.A. (ed.) RelMiCS 2006. LNCS, vol. 4136, pp. 162\u2013176. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11828563_11"},{"key":"18_CR19","unstructured":"Fang, J.: Contributions to the Theory of Ockham Algebras. Ph.D. thesis, University of St Andrews (1992)"},{"key":"18_CR20","unstructured":"Fang, J.: Distributive lattices with unary operations. Science Press (2011)"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1093\/jigpal\/jzt024","volume":"22","author":"AV Figallo","year":"2014","unstructured":"Figallo, A.V., Pelaitay, G.: Tense operators on De Morgan algebras. Logic J. IGPL 22(2), 255\u2013267 (2014)","journal-title":"Logic J. IGPL"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF01061240","volume":"55","author":"P Garcia","year":"1995","unstructured":"Garcia, P., Esteva, F.: On Ockham algebras: congruence lattices and subdirectly irreducible algebras. Stud. Logica. 55, 319\u2013346 (1995)","journal-title":"Stud. Logica."},{"key":"18_CR23","first-page":"673","volume":"35","author":"TB Iwinski","year":"1987","unstructured":"Iwinski, T.B.: Algebraic approach to rough sets. Bull. Acad. Pol. Sci. 35, 673\u2013683 (1987)","journal-title":"Bull. Acad. Pol. Sci."},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"Ma, M., Guo, J.: Kripke-completeness and sequent calculus for quasi-Boolean modal logic. Stud. Logica. 1\u201330 (2024)","DOI":"10.1007\/s11225-024-10095-4"},{"issue":"2","key":"18_CR25","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/s11225-018-9840-6","volume":"108","author":"M Ma","year":"2020","unstructured":"Ma, M., Lin, Y.: Countably many weakenings of Belnap-Dunn logic. Stud. Logica. 108(2), 163\u2013198 (2020)","journal-title":"Stud. Logica."},{"issue":"1","key":"18_CR26","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/s10992-020-09558-5","volume":"50","author":"S Odintsov","year":"2021","unstructured":"Odintsov, S., Wansing, H.: Routley star and hyperintensionality. J. Philos. Log. 50(1), 33\u201356 (2021)","journal-title":"J. Philos. Log."},{"key":"18_CR27","unstructured":"Or\u0142owska, E., Radzikowska, A., Rewitzky, I.: Dualities for Structures of Applied Logics. College Publications (2015)"},{"key":"18_CR28","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z Pawlak","year":"1982","unstructured":"Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11, 341\u2013356 (1982)","journal-title":"Int. J. Comput. Inf. Sci."},{"key":"18_CR29","volume-title":"An Algebraic Approach to Non-classical Logics, Studies in logic and the foundations of mathematics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H.: An Algebraic Approach to Non-classical Logics, Studies in logic and the foundations of mathematics, vol. 78. PWN-Polish Scientific Publishers, Warszawa (1974)"},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Routley, R., Routley, V.: The semantics of first degree entailment. No\u00fbs pp. 335\u2013359 (1972)","DOI":"10.2307\/2214309"},{"key":"18_CR31","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.ins.2014.06.004","volume":"282","author":"A Saha","year":"2014","unstructured":"Saha, A., Sen, J., Chakraborty, M.K.: Algebraic structures in the vicinity of pre-rough algebra and their logics I. Inf. Sci. 282, 296\u2013320 (2014)","journal-title":"Inf. Sci."},{"key":"18_CR32","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/BF00370442","volume":"38","author":"A Urquhart","year":"1979","unstructured":"Urquhart, A.: Distributive lattices with a dual homomorphic operation. Stud. Logica. 38, 201\u2013209 (1979)","journal-title":"Stud. Logica."},{"key":"18_CR33","unstructured":"Vakarelov, D.: Theory of Negation in Certain Logical Systems: Algebraic and Semantic Approach. Ph.D. thesis, University of Warsaw (1977)"},{"issue":"2\u20133","key":"18_CR34","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1080\/11663081.2024.2336373","volume":"34","author":"Y Wang","year":"2024","unstructured":"Wang, Y., Lin, Z., Ma, M.: Decidability of topological quasi-Boolean algebras. J. Appl. Non-Classical Logics 34(2\u20133), 269\u2013293 (2024)","journal-title":"J. Appl. Non-Classical Logics"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04587-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:12:21Z","timestamp":1757477541000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04587-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"ISBN":["9783032045867","9783032045874"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04587-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"29 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kutaisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}