{"id":"https://openalex.org/W4321440976","doi":"https://doi.org/10.1007/978-3-031-26689-8_3","title":"Labelled Calculi for\u00a0Lattice-Based Modal Logics","display_name":"Labelled Calculi for\u00a0Lattice-Based Modal Logics","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4321440976","doi":"https://doi.org/10.1007/978-3-031-26689-8_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-26689-8_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-26689-8_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.vu.nl/en/publications/3fd155a7-1585-4b32-a63f-56c8f1082959","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027438191","display_name":"Ineke van der Berg","orcid":"https://orcid.org/0000-0003-2220-1383"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Ineke van der Berg","raw_affiliation_strings":["Department of Mathematical Sciences, Stellenbosch University, Stellenbosch, South Africa","School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-2220-1383","affiliations":[{"raw_affiliation_string":"Department of Mathematical Sciences, Stellenbosch University, Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]},{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002450167","display_name":"Andrea De Domenico","orcid":"https://orcid.org/0000-0002-8973-7011"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Andrea De Domenico","raw_affiliation_strings":["School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-8973-7011","affiliations":[{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035153627","display_name":"Giuseppe Greco","orcid":"https://orcid.org/0000-0002-4845-3821"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Giuseppe Greco","raw_affiliation_strings":["School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-4845-3821","affiliations":[{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066244243","display_name":"Krishna Manoorkar","orcid":"https://orcid.org/0000-0003-3664-7757"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Krishna B. Manoorkar","raw_affiliation_strings":["School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-3664-7757","affiliations":[{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047149000","display_name":"Alessandra Palmigiano","orcid":"https://orcid.org/0000-0001-9656-7527"},"institutions":[{"id":"https://openalex.org/I24027795","display_name":"University of Johannesburg","ror":"https://ror.org/04z6c2n17","country_code":"ZA","type":"education","lineage":["https://openalex.org/I24027795"]},{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL","ZA"],"is_corresponding":false,"raw_author_name":"Alessandra Palmigiano","raw_affiliation_strings":["Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0001-9656-7527","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Applied Mathematics, University of Johannesburg, Johannesburg, South Africa","institution_ids":["https://openalex.org/I24027795"]},{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031603467","display_name":"Mattia Panettiere","orcid":"https://orcid.org/0000-0002-9218-5449"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mattia Panettiere","raw_affiliation_strings":["School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-9218-5449","affiliations":[{"raw_affiliation_string":"School of Business and Economics, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5035153627"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.9571,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.8281366,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"23","last_page":"47"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.7958424091339111},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7487134337425232},{"id":"https://openalex.org/keywords/sequent-calculus","display_name":"Sequent calculus","score":0.7437204122543335},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.6474963426589966},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5928189754486084},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.5188361406326294},{"id":"https://openalex.org/keywords/normal-modal-logic","display_name":"Normal modal logic","score":0.5112576484680176},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4775020480155945},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.47302699089050293},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.4679723381996155},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.46095895767211914},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.46074357628822327},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.45916610956192017},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.45858287811279297},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.44608747959136963},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4269661605358124},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4223594665527344},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.4174846112728119},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4034477472305298},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3775888681411743},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.29175829887390137},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.22492143511772156},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2047223448753357},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.1713874340057373},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1405760645866394},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09222555160522461},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06731292605400085}],"concepts":[{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.7958424091339111},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7487134337425232},{"id":"https://openalex.org/C65880906","wikidata":"https://www.wikidata.org/wiki/Q1771121","display_name":"Sequent calculus","level":3,"score":0.7437204122543335},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.6474963426589966},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5928189754486084},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.5188361406326294},{"id":"https://openalex.org/C114092440","wikidata":"https://www.wikidata.org/wiki/Q840226","display_name":"Normal modal logic","level":4,"score":0.5112576484680176},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4775020480155945},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.47302699089050293},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.4679723381996155},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46095895767211914},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.46074357628822327},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.45916610956192017},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45858287811279297},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.44608747959136963},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4269661605358124},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4223594665527344},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.4174846112728119},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4034477472305298},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3775888681411743},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.29175829887390137},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.22492143511772156},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2047223448753357},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.1713874340057373},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1405760645866394},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09222555160522461},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06731292605400085},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-26689-8_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-26689-8_3","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/3fd155a7-1585-4b32-a63f-56c8f1082959","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3fd155a7-1585-4b32-a63f-56c8f1082959","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van der Berg, I, De Domenico, A, Greco, G, Manoorkar, K B, Palmigiano, A & Panettiere, M 2023, Labelled Calculi for\u00a0Lattice-Based Modal Logics. in M Banerjee & A V Sreejith (eds), Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3\u20135, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13963 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 23-47, 10th Indian Conference on Logic and Its Applications, ICLA 2023, Indore, India, 3/03/23. https://doi.org/10.1007/978-3-031-26689-8_3","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research.vu.nl:openaire/3fd155a7-1585-4b32-a63f-56c8f1082959","is_oa":true,"landing_page_url":"https://hdl.handle.net/1871.1/3fd155a7-1585-4b32-a63f-56c8f1082959","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van der Berg, I, De Domenico, A, Greco, G, Manoorkar, K B, Palmigiano, A & Panettiere, M 2023, Labelled Calculi for\u00a0Lattice-Based Modal Logics. in M Banerjee & A V Sreejith (eds), Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3\u20135, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13963 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 23-47, 10th Indian Conference on Logic and Its Applications, ICLA 2023, Indore, India, 3/03/23. https://doi.org/10.1007/978-3-031-26689-8_3","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:research.vu.nl:openaire_cris_publications/3fd155a7-1585-4b32-a63f-56c8f1082959","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/3fd155a7-1585-4b32-a63f-56c8f1082959","pdf_url":null,"source":{"id":"https://openalex.org/S4306401107","display_name":"VU Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I865915315","host_organization_name":"Vrije Universiteit Amsterdam","host_organization_lineage":["https://openalex.org/I865915315"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"van der Berg, I, De Domenico, A, Greco, G, Manoorkar, K B, Palmigiano, A & Panettiere, M 2023, Labelled Calculi for\u00a0Lattice-Based Modal Logics. in M Banerjee & A V Sreejith (eds), Logic and Its Applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3\u20135, 2023, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13963 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 23-47, 10th Indian Conference on Logic and Its Applications, ICLA 2023, Indore, India, 3/03/23. https://doi.org/10.1007/978-3-031-26689-8_3","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W56574371","https://openalex.org/W586261321","https://openalex.org/W1503729935","https://openalex.org/W1970051856","https://openalex.org/W1972417425","https://openalex.org/W1995718667","https://openalex.org/W2011700761","https://openalex.org/W2093397547","https://openalex.org/W2130561095","https://openalex.org/W2342236690","https://openalex.org/W2616161870","https://openalex.org/W2955451696","https://openalex.org/W2964164692","https://openalex.org/W3130894656","https://openalex.org/W3151724607","https://openalex.org/W4242798172","https://openalex.org/W4321440994"],"related_works":["https://openalex.org/W4210342219","https://openalex.org/W2773341309","https://openalex.org/W2504661205","https://openalex.org/W2003794604","https://openalex.org/W2617588251","https://openalex.org/W3150713206","https://openalex.org/W3037905658","https://openalex.org/W2023242314","https://openalex.org/W3134776246","https://openalex.org/W2087005564"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-01-22T23:29:09.771500","created_date":"2025-10-10T00:00:00"}