Zhuk, Dmitriy Constraint satisfaction problem: what makes the problem easy. (English) Zbl 07823032 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1530-1552 (2023). MSC: 03B70 08A70 68Q17 03D15 68T27 03B10 PDFBibTeX XMLCite \textit{D. Zhuk}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 3. Sections 1--4. Berlin: European Mathematical Society (EMS). 1530--1552 (2023; Zbl 07823032) Full Text: DOI OA License
Yokoyama, Keita The Paris-Harrington principle and second-order arithmetic – bridging the finite and infinite Ramsey theorem. (English) Zbl 07823031 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1504-1528 (2023). MSC: 03F30 03F35 03B30 05D10 PDFBibTeX XMLCite \textit{K. Yokoyama}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 3. Sections 1--4. Berlin: European Mathematical Society (EMS). 1504--1528 (2023; Zbl 07823031) Full Text: DOI OA License
Marks, Andrew S. Measurable graph combinatorics. (English) Zbl 07823030 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1488-1502 (2023). MSC: 03E15 05C21 22F10 28A75 37A20 52B45 PDFBibTeX XMLCite \textit{A. S. Marks}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 3. Sections 1--4. Berlin: European Mathematical Society (EMS). 1488--1502 (2023; Zbl 07823030) Full Text: DOI OA License
Dobrinen, Natasha Ramsey theory of homogeneous structures: current trends and open problems. (English) Zbl 07823029 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1462-1486 (2023). MSC: 05C55 03C15 03E02 03E75 05C05 05C15 PDFBibTeX XMLCite \textit{N. Dobrinen}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 3. Sections 1--4. Berlin: European Mathematical Society (EMS). 1462--1486 (2023; Zbl 07823029) Full Text: DOI arXiv OA License
Binyamini, Gal; Novikov, Dmitry Tameness in geometry and arithmetic: beyond o-minimality. (English) Zbl 07823028 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 1440-1461 (2023). MSC: 03C64 11U09 32B20 14G05 PDFBibTeX XMLCite \textit{G. Binyamini} and \textit{D. Novikov}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 3. Sections 1--4. Berlin: European Mathematical Society (EMS). 1440--1461 (2023; Zbl 07823028) Full Text: DOI OA License
Safra, Muli (Shmuel) Mathematics of computation through the lens of linear equations and lattices. (English) Zbl 07821717 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4914-4969 (2023). MSC: 03D15 11H06 11P21 52C07 68W25 11D04 PDFBibTeX XMLCite \textit{M. Safra}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 6. Sections 12--14. Berlin: European Mathematical Society (EMS). 4914--4969 (2023; Zbl 07821717) Full Text: DOI OA License
Athira, T. M.; John, Sunil Jacob Divergence measures of Pythagorean fuzzy soft sets. (English) Zbl 07821067 Som, Tanmoy (ed.) et al., Applied analysis, optimization and soft computing. ICNAAO-2021, Varanasi, India, December 21–23, 2021. Singapore: Springer. Springer Proc. Math. Stat. 419, 411-421 (2023). MSC: 03E72 PDFBibTeX XMLCite \textit{T. M. Athira} and \textit{S. J. John}, Springer Proc. Math. Stat. 419, 411--421 (2023; Zbl 07821067) Full Text: DOI
Salsabeela, V.; John, Sunil Jacob A similarity measure of picture fuzzy soft sets and its application. (English) Zbl 07821064 Som, Tanmoy (ed.) et al., Applied analysis, optimization and soft computing. ICNAAO-2021, Varanasi, India, December 21–23, 2021. Singapore: Springer. Springer Proc. Math. Stat. 419, 381-389 (2023). MSC: 03E72 PDFBibTeX XMLCite \textit{V. Salsabeela} and \textit{S. J. John}, Springer Proc. Math. Stat. 419, 381--389 (2023; Zbl 07821064) Full Text: DOI
Salama, A. S.; Gdairi, Radwan Abu Generalized neighborhood systems approach for information retrieval systems. (English) Zbl 07820172 Zeidan, Dia (ed.) et al., Mathematics and computation. IACMC 2022. Selected papers based on the presentations at the 7th international Arab conference on mathematics and computations, Zarqa, Jordan, May 11–13, 2022. Singapore: Springer. Springer Proc. Math. Stat. 418, 1-14 (2023). MSC: 68P20 54A05 54A40 03B70 03E72 PDFBibTeX XMLCite \textit{A. S. Salama} and \textit{R. A. Gdairi}, Springer Proc. Math. Stat. 418, 1--14 (2023; Zbl 07820172) Full Text: DOI
Dryło, Robert; Pomykała, Jacek Smooth factors of integers and elliptic curve based factoring with an oracle. (English) Zbl 07819362 Grześkowiak, Maciej (ed.) et al., Number-theoretic methods in cryptology, NuTMiC 22. Selected papers based on the presentations at the 3rd conference, Poznań, Poland, August 2022. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 126, 73-88 (2023). MSC: 11Y05 11G07 11A05 03D15 PDFBibTeX XMLCite \textit{R. Dryło} and \textit{J. Pomykała}, Banach Cent. Publ. 126, 73--88 (2023; Zbl 07819362) Full Text: DOI
Lindstrøm, Tom The allure of infinitesimals: Sergio Albeverio and nonstandard analysis. (English) Zbl 07819350 Hilbert, Astrid (ed.) et al., Quantum and stochastic mathematical physics. Sergio Albeverio, adventures of a mathematician, Verona, Italy, March 25–29, 2019. Cham: Springer. Springer Proc. Math. Stat. 377, 187-215 (2023). MSC: 03H10 60Hxx 81Txx PDFBibTeX XMLCite \textit{T. Lindstrøm}, Springer Proc. Math. Stat. 377, 187--215 (2023; Zbl 07819350) Full Text: DOI
Rogozin, Daniel Semantic analysis of subexponential modalities in distributive non-commutative linear logic. (English) Zbl 07818975 Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60-70 (2023). MSC: 03B47 03B65 03B70 PDFBibTeX XMLCite \textit{D. Rogozin}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 60--70 (2023; Zbl 07818975) Full Text: DOI arXiv
Pshenitsyn, Tikhon Multimodality in the hypergraph Lambek calculus. (English) Zbl 07818974 Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 46-59 (2023). MSC: 03B47 03B65 03B70 PDFBibTeX XMLCite \textit{T. Pshenitsyn}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 46--59 (2023; Zbl 07818974) Full Text: DOI arXiv
Mcpheat, Lachlan; Wang, Daphne DisCoCat for donkey sentences. (English) Zbl 07818973 Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 32-45 (2023). MSC: 03B47 03B65 03B70 PDFBibTeX XMLCite \textit{L. Mcpheat} and \textit{D. Wang}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 32--45 (2023; Zbl 07818973) Full Text: DOI arXiv
Lewis-Smith, Andrew A Kripke semantics for Hajek’s BL. (English) Zbl 07818972 Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 20-31 (2023). MSC: 03B47 03B65 03B70 PDFBibTeX XMLCite \textit{A. Lewis-Smith}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 20--31 (2023; Zbl 07818972) Full Text: DOI arXiv
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre Explorations in subexponential non-associative non-commutative linear logic. (English) Zbl 07818971 Moortgat, Michael (ed.) et al., Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 4-19 (2023). MSC: 03B47 03B65 03B70 PDFBibTeX XMLCite \textit{E. Blaisdell} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 381, 4--19 (2023; Zbl 07818971) Full Text: DOI arXiv
Pambuccian, Victor The single intuition of a move of time. (English) Zbl 07814253 Papadopoulos, Athanase (ed.), Essays in geometry. Dedicated to Norbert A’Campo. Berlin: European Mathematical Society. IRMA Lect. Math. Theor. Phys. 34, 871-882 (2023). MSC: 01A60 03A05 03B30 51-03 PDFBibTeX XMLCite \textit{V. Pambuccian}, IRMA Lect. Math. Theor. Phys. 34, 871--882 (2023; Zbl 07814253) Full Text: DOI
Urciuoli, Sebastián A formal proof of the strong normalization theorem for system T in Agda. (English) Zbl 07810647 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 81-99 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{S. Urciuoli}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 81--99 (2023; Zbl 07810647) Full Text: DOI arXiv
Pagano, Miguel; Solsona, José E. Nominal sets in Agda – a fresh and immature mechanization. (English) Zbl 07810646 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 67-80 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{M. Pagano} and \textit{J. E. Solsona}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 67--80 (2023; Zbl 07810646) Full Text: DOI arXiv
Kim, Dohan Equational theorem proving for clauses over strings. (English) Zbl 07810645 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49-66 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{D. Kim}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 49--66 (2023; Zbl 07810645) Full Text: DOI arXiv
Guo, Liye; Vale, Deivid Analyzing innermost runtime complexity through tuple interpretations. (English) Zbl 07810644 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 34-48 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Guo} and \textit{D. Vale}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 34--48 (2023; Zbl 07810644) Full Text: DOI arXiv
Grilo, Erick; Lopes, Bruno \(ReLo\): a dynamic logic to reason about Reo circuits. (English) Zbl 07810643 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 16-33 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{E. Grilo} and \textit{B. Lopes}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 16--33 (2023; Zbl 07810643) Full Text: DOI arXiv
Cruz, Ana; Madeira, Alexandre; Barbosa, Luís Soares Paraconsistent transition systems. (English) Zbl 07810642 Nantes-Sobrinho, Daniele (ed.) et al., Proceedings of the 17th international workshop on logical and semantic frameworks with applications, LSFA, Belo Horizonte, Brazil, September 23–24, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 3-15 (2023). MSC: 03B70 68Q55 PDFBibTeX XMLCite \textit{A. Cruz} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 376, 3--15 (2023; Zbl 07810642) Full Text: DOI arXiv
Yang, Yuanzhe Knowledge-wh and false belief sensitivity: a logical study (an extended abstract). (English) Zbl 07810638 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 527-544 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Yang}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 527--544 (2023; Zbl 07810638) Full Text: DOI arXiv
Wang, Minkyung; Kim, Chisu Aggregating credences into beliefs: agenda conditions for impossibility results (extended abstract). (English) Zbl 07810637 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 518-526 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Wang} and \textit{C. Kim}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 518--526 (2023; Zbl 07810637) Full Text: DOI arXiv
Sinclair-Desgagné, Bernard Mining for unknown unknowns. (English) Zbl 07810636 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 507-517 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{B. Sinclair-Desgagné}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 507--517 (2023; Zbl 07810636) Full Text: DOI arXiv
Ramírez Abarca, Aldo Iván A logic-based analysis of responsibility. (English) Zbl 07810634 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 470-486 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{A. I. Ramírez Abarca}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 470--486 (2023; Zbl 07810634) Full Text: DOI arXiv
Proietti, Carlo; Velázquez-Quesada, Fernando R.; Yuste-Ginel, Antonio An abstract look at awareness models and their dynamics. (English) Zbl 07810633 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 455-469 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{C. Proietti} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 455--469 (2023; Zbl 07810633) Full Text: DOI arXiv
Papadamos, Panagiotis; Gierasimczuk, Nina Cognitive bias and belief revision. (English) Zbl 07810632 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 441-454 (2023). MSC: 03-XX 68T27 PDFBibTeX XMLCite \textit{P. Papadamos} and \textit{N. Gierasimczuk}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 441--454 (2023; Zbl 07810632) Full Text: DOI arXiv
Oesterheld, Caspar; Demski, Abram; Conitzer, Vincent A theory of bounded inductive rationality. (English) Zbl 07810631 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 421-440 (2023). MSC: 03-XX 68T27 PDFBibTeX XMLCite \textit{C. Oesterheld} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 421--440 (2023; Zbl 07810631) Full Text: DOI arXiv
Miedema, Daniel; Gattinger, Malvin Exploiting asymmetry in logic puzzles: using ZDDs for symbolic model checking dynamic epistemic logic. (English) Zbl 07810630 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 407-420 (2023). MSC: 03-XX 68T27 PDFBibTeX XMLCite \textit{D. Miedema} and \textit{M. Gattinger}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 407--420 (2023; Zbl 07810630) Full Text: DOI arXiv
Li, Yipu; Wang, Yanjing Epistemic syllogistic: first steps. (English) Zbl 07810629 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 392-406 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Li} and \textit{Y. Wang}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 392--406 (2023; Zbl 07810629) Full Text: DOI arXiv
Li, Yanjun Tableaux for the logic of strategically knowing how. (English) Zbl 07810628 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 379-391 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Li}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 379--391 (2023; Zbl 07810628) Full Text: DOI arXiv
Khan, Saira Metatickles and death in Damascus. (English) Zbl 07810627 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 359-378 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Khan}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 359--378 (2023; Zbl 07810627) Full Text: DOI arXiv
Hyland, David; Gutierrez, Julian; Wooldridge, Michael Incentive engineering for concurrent games. (English) Zbl 07810626 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 344-358 (2023). MSC: 91A20 91B43 03B44 PDFBibTeX XMLCite \textit{D. Hyland} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 344--358 (2023; Zbl 07810626) Full Text: DOI arXiv
Hawke, Peter An acceptance semantics for stable modal knowledge. (English) Zbl 07810625 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 331-343 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{P. Hawke}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 331--343 (2023; Zbl 07810625) Full Text: DOI arXiv
Goodman, Jeremy; Salow, Bernhard Belief revision from probability. (English) Zbl 07810623 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 308-317 (2023). MSC: 03-XX 60-XX PDFBibTeX XMLCite \textit{J. Goodman} and \textit{B. Salow}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 308--317 (2023; Zbl 07810623) Full Text: DOI arXiv
Garapa, Marco; Ferme, Eduardo; Reis, Maurício D. L. System of spheres-based two level credibility-limited revisions. (English) Zbl 07810621 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 287-298 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Garapa} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 287--298 (2023; Zbl 07810621) Full Text: DOI arXiv
Ganian, Robert; Hamm, Thekla; Knop, Dušan; Roy, Sanjukta; Schierreich, Šimon; Suchý, Ondřej Maximizing social welfare in score-based social distance games. (English) Zbl 07810620 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 272-286 (2023). MSC: 03-XX 91-XX PDFBibTeX XMLCite \textit{R. Ganian} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 272--286 (2023; Zbl 07810620) Full Text: DOI arXiv
Galimullin, Rustam; Kuijer, Louwe B. Satisfiability of arbitrary public announcement logic with common knowledge is \(\Sigma^1_1\)-hard. (English) Zbl 07810619 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 260-271 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{R. Galimullin} and \textit{L. B. Kuijer}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 260--271 (2023; Zbl 07810619) Full Text: DOI arXiv
Frittella, Sabine; Kozhemiachenko, Daniil; Verheij, Bart Presumptive reasoning in a paraconsistent setting. (English) Zbl 07810617 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 233-244 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{S. Frittella} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 233--244 (2023; Zbl 07810617) Full Text: DOI arXiv
Friedenberg, Meir; Halpern, Joseph Y. Joint behavior and common belief. (English) Zbl 07810616 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 221-232 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Friedenberg} and \textit{J. Y. Halpern}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 221--232 (2023; Zbl 07810616) Full Text: DOI arXiv
Fox, James; MacDermott, Matt; Hammond, Lewis; Harrenstein, Paul; Abate, Alessandro; Wooldridge, Michael On imperfect recall in multi-agent influence diagrams. (English) Zbl 07810615 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 201-220 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{J. Fox} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 201--220 (2023; Zbl 07810615) Full Text: DOI arXiv
Ding, Yiwen; Manoorkar, Krishna; Tzimoulis, Apostolos; Wang, Ruoding; Wang, Xiaolong Causal Kripke models. (English) Zbl 07810614 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 185-200 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{Y. Ding} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 185--200 (2023; Zbl 07810614) Full Text: DOI arXiv
De Vito, Nicodemo Complete conditional type structures (extended abstract). (English) Zbl 07810613 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 173-184 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{N. De Vito}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 173--184 (2023; Zbl 07810613) Full Text: DOI arXiv
Castañeda, Armando; van Ditmarsch, Hans; Rosenblueth, David A.; Velázquez, Diego A. Comparing the update expressivity of communication patterns and action models. (English) Zbl 07810612 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 157-172 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Castañeda} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 157--172 (2023; Zbl 07810612) Full Text: DOI arXiv
Bonanno, Giacomo Characterization of AGM belief contraction in terms of conditionals. (English) Zbl 07810611 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 142-156 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{G. Bonanno}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 142--156 (2023; Zbl 07810611) Full Text: DOI arXiv
Bjorndahl, Adam; Halpern, Joseph Y. Sequential language-based decisions. (English) Zbl 07810610 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 131-141 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{A. Bjorndahl} and \textit{J. Y. Halpern}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 131--141 (2023; Zbl 07810610) Full Text: DOI arXiv
Bílková, Marta; Sedlár, Igor Epistemic logics of structured intensional groups. (English) Zbl 07810609 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 113-130 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{M. Bílková} and \textit{I. Sedlár}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 113--130 (2023; Zbl 07810609) Full Text: DOI arXiv
Belardinelli, Gaia; Schipper, Burkhard C. Implicit knowledge in unawareness structures – extended abstract –. (English) Zbl 07810608 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 93-112 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{G. Belardinelli} and \textit{B. C. Schipper}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 93--112 (2023; Zbl 07810608) Full Text: DOI arXiv
Balbiani, Philippe; van der Hoek, Wiebe; Kuijer, Louwe B. Simple axioms for local properties. (English) Zbl 07810607 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 82-92 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{P. Balbiani} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 82--92 (2023; Zbl 07810607) Full Text: DOI arXiv
Arthaud, Farid; Rinard, Martin Depth-bounded epistemic logic. (English) Zbl 07810605 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 46-65 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{F. Arthaud} and \textit{M. Rinard}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 46--65 (2023; Zbl 07810605) Full Text: DOI arXiv
Arieli, Itai; Geffner, Ivan; Tennenholtz, Moshe Resilient information aggregation. (English) Zbl 07810604 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 31-45 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{I. Arieli} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 31--45 (2023; Zbl 07810604) Full Text: DOI arXiv
Alexander, Samuel Allen; Pedersen, Arthur Paul Strengthening consistency results in modal logic. (English) Zbl 07810602 Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 4-15 (2023). MSC: 03-XX PDFBibTeX XMLCite \textit{S. A. Alexander} and \textit{A. P. Pedersen}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 4--15 (2023; Zbl 07810602) Full Text: DOI arXiv
Veltri, Niccolò Maximally multi-focused proofs for skew non-commutative MILL. (English) Zbl 07810577 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 377-393 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{N. Veltri}, Lect. Notes Comput. Sci. 13923, 377--393 (2023; Zbl 07810577) Full Text: DOI
Van Gelder, Allen Subsumption-linear Q-resolution for QBF theorem proving. (English) Zbl 07810576 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 362-376 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{A. Van Gelder}, Lect. Notes Comput. Sci. 13923, 362--376 (2023; Zbl 07810576) Full Text: DOI
Shapirovsky, Ilya Decidability of modal logics of non-\(k\)-colorable graphs. (English) Zbl 07810575 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 351-361 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{I. Shapirovsky}, Lect. Notes Comput. Sci. 13923, 351--361 (2023; Zbl 07810575) Full Text: DOI arXiv
Sedlár, Igor; Vigiani, Pietro Relevant reasoning and implicit beliefs. (English) Zbl 07810574 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 336-350 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{I. Sedlár} and \textit{P. Vigiani}, Lect. Notes Comput. Sci. 13923, 336--350 (2023; Zbl 07810574) Full Text: DOI
Rooduijn, Jan; Venema, Yde Focus-style proofs for the two-way alternation-free \(\mu \)-calculus. (English) Zbl 07810573 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 318-335 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{J. Rooduijn} and \textit{Y. Venema}, Lect. Notes Comput. Sci. 13923, 318--335 (2023; Zbl 07810573) Full Text: DOI arXiv
Perkov, Tin Bisimulations between Verbrugge models and Veltman models. (English) Zbl 07810572 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 305-317 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{T. Perkov}, Lect. Notes Comput. Sci. 13923, 305--317 (2023; Zbl 07810572) Full Text: DOI
Nakata, Satoshi Parallelism in realizability models. (English) Zbl 07810571 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 292-304 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{S. Nakata}, Lect. Notes Comput. Sci. 13923, 292--304 (2023; Zbl 07810571) Full Text: DOI
Mahmood, Yasir; Virtema, Jonni Parameterized complexity of propositional inclusion and independence logic. (English) Zbl 07810570 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 274-291 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{Y. Mahmood} and \textit{J. Virtema}, Lect. Notes Comput. Sci. 13923, 274--291 (2023; Zbl 07810570) Full Text: DOI arXiv
Jacobs, Bart A principled approach to expectation maximisation and latent Dirichlet allocation using Jeffrey’s update rule. (English) Zbl 07810569 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 256-273 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{B. Jacobs}, Lect. Notes Comput. Sci. 13923, 256--273 (2023; Zbl 07810569) Full Text: DOI
Fu, Peng; Selinger, Peter Towards an induction principle for nested data types. (English) Zbl 07810568 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 244-255 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{P. Fu} and \textit{P. Selinger}, Lect. Notes Comput. Sci. 13923, 244--255 (2023; Zbl 07810568) Full Text: DOI arXiv
French, Tim Aleatoric propositions: reasoning about coins. (English) Zbl 07810567 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 227-243 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{T. French}, Lect. Notes Comput. Sci. 13923, 227--243 (2023; Zbl 07810567) Full Text: DOI
Freiman, Robert; Bernreiter, Michael Validity in choice logics. A game-theoretic investigation. (English) Zbl 07810566 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 211-226 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{R. Freiman} and \textit{M. Bernreiter}, Lect. Notes Comput. Sci. 13923, 211--226 (2023; Zbl 07810566) Full Text: DOI
Ferguson, Thomas; Punčochář, Vít Structural completeness and superintuitionistic inquisitive logics. (English) Zbl 07810565 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 194-210 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{T. Ferguson} and \textit{V. Punčochář}, Lect. Notes Comput. Sci. 13923, 194--210 (2023; Zbl 07810565) Full Text: DOI
Faroldi, Federico L. G.; Rohani, Atefeh; Studer, Thomas Conditional obligations in justification logic. (English) Zbl 07810564 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 178-193 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{F. L. G. Faroldi} et al., Lect. Notes Comput. Sci. 13923, 178--193 (2023; Zbl 07810564) Full Text: DOI
van Ditmarsch, Hans; Galmiche, Didier; Gawek, Marta A separation logic with histories of epistemic actions as resources. (English) Zbl 07810563 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 161-177 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{H. van Ditmarsch} et al., Lect. Notes Comput. Sci. 13923, 161--177 (2023; Zbl 07810563) Full Text: DOI
Brunet, Tyler D. P.; Payette, Gillman An evidence logic perspective on Schotch-Jennings forcing. (English) Zbl 07810562 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 135-160 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{T. D. P. Brunet} and \textit{G. Payette}, Lect. Notes Comput. Sci. 13923, 135--160 (2023; Zbl 07810562) Full Text: DOI
Blackburn, Patrick; Braüner, Torben; Kofod, Julie Lundbak An axiom system for basic hybrid logic with propositional quantifiers. (English) Zbl 07810561 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 118-134 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{P. Blackburn} et al., Lect. Notes Comput. Sci. 13923, 118--134 (2023; Zbl 07810561) Full Text: DOI
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej Two-layered logics for paraconsistent probabilities. (English) Zbl 07810560 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 101-117 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 13923, 101--117 (2023; Zbl 07810560) Full Text: DOI arXiv
Banerjee, Arka Factive complements are not always unique entities: a case study with Bangla remember. (English) Zbl 07810559 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 83-100 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{A. Banerjee}, Lect. Notes Comput. Sci. 13923, 83--100 (2023; Zbl 07810559) Full Text: DOI
Baaz, Matthias; Lolić, Anela Effective Skolemization. (English) Zbl 07810558 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 69-82 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Baaz} and \textit{A. Lolić}, Lect. Notes Comput. Sci. 13923, 69--82 (2023; Zbl 07810558) Full Text: DOI
Alves, Sandra; Kesner, Delia; Ramos, Miguel Quantitative global memory. (English) Zbl 07810557 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 53-68 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{S. Alves} et al., Lect. Notes Comput. Sci. 13923, 53--68 (2023; Zbl 07810557) Full Text: DOI arXiv
Pavlovic, Dusko; Pavlovic, Temra From Gödel’s incompleteness theorem to the completeness of bot beliefs (extended abstract). (English) Zbl 07810556 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 33-50 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{D. Pavlovic} and \textit{T. Pavlovic}, Lect. Notes Comput. Sci. 13923, 33--50 (2023; Zbl 07810556) Full Text: DOI arXiv
Ortiz, Magdalena A short introduction to SHACL for logicians. (English) Zbl 07810555 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 19-32 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Ortiz}, Lect. Notes Comput. Sci. 13923, 19--32 (2023; Zbl 07810555) Full Text: DOI
Kanazawa, Makoto Learning context-free grammars from positive data and membership queries. (English) Zbl 07810554 Hansen, Helle Hvid (ed.) et al., Logic, language, information, and computation. 29th international workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13923, 3-18 (2023). MSC: 03B70 PDFBibTeX XMLCite \textit{M. Kanazawa}, Lect. Notes Comput. Sci. 13923, 3--18 (2023; Zbl 07810554) Full Text: DOI
Butler, Menachem Bibliography: Mark Steiner’s main works. (English) Zbl 07803655 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 3-7 (2023). MSC: 00A30 01A90 03-03 PDFBibTeX XMLCite \textit{M. Butler}, in: Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. 3--7 (2023; Zbl 07803655) Full Text: DOI
Keren, Aviv Ordinals vs. cardinals in \(\mathbb{N}\) and beyond. (English) Zbl 07803648 Posy, Carl J. (ed.) et al., Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 193-225 (2023). MSC: 03A05 03E10 00A30 PDFBibTeX XMLCite \textit{A. Keren}, in: Mathematical knowledge, objects and applications. Essays in memory of Mark Steiner. Cham: Springer. 193--225 (2023; Zbl 07803648) Full Text: DOI
Lombardi, Henri; Mahboubi, Assia Valuative lattices and spectra. (English) Zbl 07800905 Chabert, Jean-Luc (ed.) et al., Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19–24, 2021. Cham: Springer. 275-341 (2023). MSC: 13A18 03F65 14C40 PDFBibTeX XMLCite \textit{H. Lombardi} and \textit{A. Mahboubi}, in: Algebraic, number theoretic, and topological aspects of ring theory. Selected papers based on the cancelled conference on rings and polynomials, July 2020, and the fourth international meeting on integer-valued polynomials and related topics, CIRM, Luminy, France, July 19--24, 2021. Cham: Springer. 275--341 (2023; Zbl 07800905) Full Text: DOI arXiv
Dorantes, Pascual Noradino Montes; Mendez, Gerardo Maximiliano Non-iterative Wagner-Hagras general type-2 Mamdani singleton fuzzy logic system optimized by central composite design in quality assurance by image processing. (English) Zbl 07799457 Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 201-216 (2023). MSC: 94A08 03B52 PDFBibTeX XMLCite \textit{P. N. M. Dorantes} and \textit{G. M. Mendez}, Stud. Fuzziness Soft Comput. 425, 201--216 (2023; Zbl 07799457) Full Text: DOI
Anitha, K.; Datta, Debabrata Type-2 fuzzy set approach to image analysis. (English) Zbl 07799456 Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 187-200 (2023). MSC: 92C55 03E72 PDFBibTeX XMLCite \textit{K. Anitha} and \textit{D. Datta}, Stud. Fuzziness Soft Comput. 425, 187--200 (2023; Zbl 07799456) Full Text: DOI
Rajendran, Sindhu; Sahana, B.; Farheen, Shaik; Meghana, B. N.; Babu, Sona Theresa A survey on type-2 fuzzy logic systems in healthcare. (English) Zbl 07799455 Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 165-186 (2023). MSC: 92C50 03B52 PDFBibTeX XMLCite \textit{S. Rajendran} et al., Stud. Fuzziness Soft Comput. 425, 165--186 (2023; Zbl 07799455) Full Text: DOI
Dhiman, Nitesh; Nivedita; Sharma, Mukesh Kumar Artificial neural network based type-2 fuzzy optimization for medical diagnosis. (English) Zbl 07799454 Castillo, Oscar (ed.) et al., Recent trends on type-2 fuzzy logic systems: theory, methodology and applications. Cham: Springer. Stud. Fuzziness Soft Comput. 425, 153-164 (2023). MSC: 92C50 68T07 03E72 PDFBibTeX XMLCite \textit{N. Dhiman} et al., Stud. Fuzziness Soft Comput. 425, 153--164 (2023; Zbl 07799454) Full Text: DOI
Fu, Xiaoxuan; Zhao, Zhiguang A logic for preference lifting under uncertainty and its decidability. (English) Zbl 07789771 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 213-223 (2023). MSC: 68T27 03B25 68T37 PDFBibTeX XMLCite \textit{X. Fu} and \textit{Z. Zhao}, Lect. Notes Comput. Sci. 14156, 213--223 (2023; Zbl 07789771) Full Text: DOI
Luo, Jieting; Studer, Thomas; Dastani, Mehdi Providing personalized explanations: a conversational approach. (English) Zbl 07789766 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 121-137 (2023). MSC: 68T27 03B42 03B45 PDFBibTeX XMLCite \textit{J. Luo} et al., Lect. Notes Comput. Sci. 14156, 121--137 (2023; Zbl 07789766) Full Text: DOI arXiv
Vinogradova, Polina Formalizing the unexpected hanging paradox: a classical surprise. (English) Zbl 1528.68398 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 44-58 (2023). MSC: 68V20 03B99 PDFBibTeX XMLCite \textit{P. Vinogradova}, Lect. Notes Comput. Sci. 14156, 44--58 (2023; Zbl 1528.68398) Full Text: DOI
Steen, Alexander; Sutcliffe, Geoff; Scholl, Tobias; Benzmüller, Christoph Solving modal logic problems by translation to higher-order logic. (English) Zbl 1528.68393 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 25-43 (2023). MSC: 68V15 03B45 PDFBibTeX XMLCite \textit{A. Steen} et al., Lect. Notes Comput. Sci. 14156, 25--43 (2023; Zbl 1528.68393) Full Text: DOI arXiv
Fu, Xiaoxuan; Zhao, Zhiguang Dynamic modal logic with counting: when reduction axioms work and fail. (English) Zbl 07789760 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 11-24 (2023). MSC: 03B45 03B42 03B70 PDFBibTeX XMLCite \textit{X. Fu} and \textit{Z. Zhao}, Lect. Notes Comput. Sci. 14156, 11--24 (2023; Zbl 07789760) Full Text: DOI
Cachin, Christian; Lehnherr, David; Studer, Thomas Modal and justification logics for multi-agent systems (invited talk). (English) Zbl 1528.68363 Herzig, Andreas (ed.) et al., Logic and argumentation. 5th international conference, CLAR 2023, Hangzhou, China, September 10–12, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14156, 3-8 (2023). MSC: 68T27 03B42 03B45 68T42 PDFBibTeX XMLCite \textit{C. Cachin} et al., Lect. Notes Comput. Sci. 14156, 3--8 (2023; Zbl 1528.68363) Full Text: DOI
Ciaglia, Florio M.; Di Cosmo, Fabio Some remarks on the notion of transition. (English) Zbl 07789319 Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 402-411 (2023). MSC: 03G12 PDFBibTeX XMLCite \textit{F. M. Ciaglia} and \textit{F. Di Cosmo}, Lect. Notes Comput. Sci. 14072, 402--411 (2023; Zbl 07789319) Full Text: DOI
Nutov, Zeev An \(O(\sqrt{k})\)-approximation algorithm for minimum power \(k\) edge disjoint \(st\)-paths. (English) Zbl 07787588 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 287-296 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{Z. Nutov}, Lect. Notes Comput. Sci. 13967, 287--296 (2023; Zbl 07787588) Full Text: DOI arXiv
Parys, Paweł; Wiącek, Aleksander Improved complexity analysis of quasi-polynomial algorithms solving parity games. (English) Zbl 07787587 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 275-286 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{P. Parys} and \textit{A. Wiącek}, Lect. Notes Comput. Sci. 13967, 275--286 (2023; Zbl 07787587) Full Text: DOI arXiv
Arrighi, Pablo; Durbec, Amélia; Guillon, Pierre Graph subshifts. (English) Zbl 07787586 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 261-274 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{P. Arrighi} et al., Lect. Notes Comput. Sci. 13967, 261--274 (2023; Zbl 07787586) Full Text: DOI arXiv
Ruangwises, Suthee Physical zero-knowledge proof for ball sort puzzle. (English) Zbl 07787585 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 246-257 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{S. Ruangwises}, Lect. Notes Comput. Sci. 13967, 246--257 (2023; Zbl 07787585) Full Text: DOI arXiv
Musatov, Daniil; Potapov, Georgii Structural complexity of rational interactive proofs. (English) Zbl 07787584 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 231-245 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{D. Musatov} and \textit{G. Potapov}, Lect. Notes Comput. Sci. 13967, 231--245 (2023; Zbl 07787584) Full Text: DOI arXiv
Perrotin, Pacôme; Sené, Sylvain Turning block-sequential automata networks into smaller parallel networks with isomorphic limit dynamics. (English) Zbl 07787583 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 214-228 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{P. Perrotin} and \textit{S. Sené}, Lect. Notes Comput. Sci. 13967, 214--228 (2023; Zbl 07787583) Full Text: DOI arXiv
Barsukov, Alexey; Madelaine, Florent R. On guarded extensions of MMSNP. (English) Zbl 07787582 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 202-213 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{A. Barsukov} and \textit{F. R. Madelaine}, Lect. Notes Comput. Sci. 13967, 202--213 (2023; Zbl 07787582) Full Text: DOI arXiv
Selivanov, Victor Extending Wagner’s hierarchy to deterministic visibly pushdown automata. (English) Zbl 07787581 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 190-201 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{V. Selivanov}, Lect. Notes Comput. Sci. 13967, 190--201 (2023; Zbl 07787581) Full Text: DOI