Aloni, Maria; Anttila, Aleksi; Yang, Fan State-based modal logics for free choice. (English) Zbl 07977887 Notre Dame J. Formal Logic 65, No. 4, 367-413 (2024). MSC: 03B65 03B60 03B45 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Trepczyński, Marcin The universalism of logic in Stephen Langton’s analysis of the blessing given to Jacob. (English) Zbl 07964904 Log. Univers. 18, No. 4, 489-503 (2024). MSC: 03A05 03B42 03B60 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Melnyk, H. V.; Melnyk, V. S.; Vikovan, V. K. Application of natural language processing and fuzzy logic to disinformation detection. (English) Zbl 07954133 Bukovyn. Mat. Zh. 12, No. 1, 21-31 (2024). MSC: 68T50 03B52 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Decidable fragments of the quantified argument calculus. (English) Zbl 07944271 Rev. Symb. Log. 17, No. 3, 736-761 (2024). MSC: 03F05 03B25 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Yagi, Yusuke Two places where we need plug-negation in update semantics: symmetrical presupposition filtering and exclusive disjunction. (English) Zbl 07941856 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 307-320 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Nakamura, Takanobu A structured witness approach to pair-list answers of wh-questions with plural definites. (English) Zbl 07941855 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 285-306 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Loukanova, Roussanka Semantics of propositional attitudes in type-theory of algorithms. (English) Zbl 07941854 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 260-284 (2024). MSC: 03B65 03B40 × Cite Format Result Cite Review PDF Full Text: DOI
de Groote, Philippe On the semantics of dependencies: relative clauses and open clausal complements. (English) Zbl 07941853 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 244-259 (2024). MSC: 03B65 91F20 × Cite Format Result Cite Review PDF Full Text: DOI
Matsuoka, Daiki; Bekki, Daisuke; Yanaka, Hitomi Appositive projection as implicit context extension in dependent type semantics. (English) Zbl 07941852 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 224-243 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Chow, Ka-fat Internal reading and reciprocity. (English) Zbl 07941848 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 155-174 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Hayashi, Noritsugu Additivity in attention semantics. (English) Zbl 07941845 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 84-117 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Fukushima, Haruka; Plesniak, Daniel; Bekki, Daisuke Matrix and relative weak crossover on the level of the individual: an experimental investigation. (English) Zbl 07941844 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 68-83 (2024). MSC: 03B65 68T50 × Cite Format Result Cite Review PDF Full Text: DOI
Kiselyov, Oleg Towards a theory of anaphoric binding in event semantics. (English) Zbl 07941843 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 55-67 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Balogh, Kata Negation and information structure in tree-wrapping grammar. (English) Zbl 07941842 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14569, 37-54 (2024). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Eyinck, Til Should we embrace impossible worlds due to the flaws of normal modal logic? (English) Zbl 07938976 Log. Univers. 18, No. 3, 301-314 (2024). MSC: 03B45 03B42 03B60 03B65 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Schumann, Andrew Stoic sign-inference and their lore of fate. (English) Zbl 07928695 Log. Univers. 18, No. 1-2, 209-234 (2024). MSC: 03B45 03A05 03B65 03B22 × Cite Format Result Cite Review PDF Full Text: DOI
Schang, Fabien Quantifying statements (why ‘every thing’ is not ‘everything’, among other ‘thing’s). (English) Zbl 07928694 Log. Univers. 18, No. 1-2, 185-207 (2024). MSC: 03B65 03B10 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Cherkashina, Oksana “Logical lanter”: analogue of the square of opposition for propositions in V.I. Markin’s universal language for traditional positive syllogistic theories. (English) Zbl 07928688 Log. Univers. 18, No. 1-2, 35-47 (2024). MSC: 03B10 03A05 03B30 03B35 03B65 03B99 × Cite Format Result Cite Review PDF Full Text: DOI
Schang, Fabien Mixed political inferences. (English) Zbl 07918534 Madigan, Timothy J. (ed.) et al., Universal logic, ethics, and truth. Essays in honor of John Corcoran (1937–2021). Cham: Birkhäuser. Stud. Univers. Log., 185-199 (2024). MSC: 03B65 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Bekki, Daisuke (ed.); Mineshima, Koji (ed.); McCready, Elin (ed.) Logic and engineering of natural language semantics. 20th international conference, LENLS20, Osaka, Japan, November 18–20, 2023. Revised selected papers. (English) Zbl 1548.03013 Lecture Notes in Computer Science 14569. Cham: Springer (ISBN 978-3-031-60877-3/pbk; 978-3-031-60878-0/ebook). x, 353 p. (2024). MSC: 03-06 68-06 03B65 68T50 91F20 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Iacona, Andrea Logical form, conditionals, pseudo-conditionals. (English) Zbl 1548.03014 Log. Log. Philos. 33, No. 1, 145-162 (2024). Reviewer: Edoardo Rivello (Torino) MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Belastegui, Javier Natural kind semantics for a classical essentialist theory of kinds. (English) Zbl 07861981 Rev. Symb. Log. 17, No. 2, 509-545 (2024). MSC: 03A05 03A10 03B10 03B65 03G10 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Wehmeier, Kai F. On quantification and extensionality. (English) Zbl 07861975 Rev. Symb. Log. 17, No. 2, 343-365 (2024). MSC: 03A05 03A10 03B10 03B65 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Tatton-Brown, Oliver Plural ancestral logic as the logic of arithmetic. (English) Zbl 07861974 Rev. Symb. Log. 17, No. 2, 305-342 (2024). MSC: 03A05 00A30 03B16 03B22 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Mandelkern, Matthew Bounded meaning. The dynamics of interpretation. (English) Zbl 07853944 Oxford: Oxford University Press (ISBN 978-0-19-287004-9/hbk; 978-0-19-196634-7/ebook). xii, 285 p. (2024). MSC: 03-02 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Kim, Gene Louis; Juvekar, Mandar; Ekmekciu, Junis; Duong, Viet; Schubert, Lenhart Monotonic inference with unscoped episodic logical forms: from principles to system. (English) Zbl 07847927 J. Logic Lang. Inf. 33, No. 1, 69-88 (2024). MSC: 68T50 03B65 68V15 91F20 × Cite Format Result Cite Review PDF Full Text: DOI
Quigley, Daniel A vector logic for extensional formal semantics. arXiv:2412.16152 Preprint, arXiv:2412.16152 [math.LO] (2024). MSC: 03C55 03B38 91F20 68T50 03B65 × Cite Format Result Cite Full Text: arXiv OA License
Walsh, Sean Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic. arXiv:2410.17463 Preprint, arXiv:2410.17463 [cs.LO] (2024). MSC: 03B15 03B40 03B45 03B65 68N18 × Cite Format Result Cite Full Text: arXiv OA License
Allègre, Loïc; Lacroix, Ophélie; Retoré, Christian A proof-theoretical approach to some extensions of first order quantification. arXiv:2407.09865 Preprint, arXiv:2407.09865 [math.LO] (2024). MSC: 03B16 03B65 03B70 × Cite Format Result Cite Full Text: arXiv
Protin, Clarence Combinatory Intensional Logic: Formal foundations. arXiv:2401.01668 Preprint, arXiv:2401.01668 [math.LO] (2024). MSC: 03B65 03B45 03B42 03A05 × Cite Format Result Cite Full Text: arXiv
Duží, Marie Ambiguities in natural language and ontological proofs. (English) Zbl 07953590 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 721-754 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Duží, Marie St. Anselm’s ontological arguments. (English) Zbl 07953589 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 697-719 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Glavaničová, Daniela Rethinking role realism. (English) Zbl 07953587 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 655-670 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Glavaničová, Daniela \(\Delta\)-TIL and normative systems. (English) Zbl 07953586 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 635-652 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Číhalová, Martina; Duží, Marie Modelling dynamic behaviour of agents in a multiagent world: logical analysis of wh-questions and answers. (English) Zbl 07953585 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 603-634 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF
Jespersen, Bjørn Structured lexical concepts, property modifiers, and transparent intensional logic. (English) Zbl 07953583 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 541-565 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Jespersen, Bjørn Left subsectivity: how to infer that a round peg is round. (English) Zbl 07953582 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 527-540 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Jespersen, Bjørn; Carrara, Massimiliano; Duží, Marie Iterated privation and positive predication. (English) Zbl 07953581 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 503-526 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF
Jespersen, Bjørn Limiting cases of modal modification: reply to Kosterec. (English) Zbl 07953580 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 497-501 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Jespersen, Bjørn An intensional solution to the bike puzzle of intentional identity. (English) Zbl 07953579 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 485-495 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Duží, Marie How to unify Russellian and Strawsonian definite descriptions. (English) Zbl 07953578 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 467-483 (2023). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF
Duží, Marie Presuppositions and two kinds of negation. (English) Zbl 07953577 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 447-465 (2023). MSC: 03B65 03B60 × Cite Format Result Cite Review PDF
Duží, Marie Negation and presupposition, truth and falsity. (English) Zbl 07953576 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 415-446 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Duží, Marie; Fait, Michal A hyperintensional theory of intelligent question answering in TIL. (English) Zbl 07953575 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 377-411 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Duží, Marie; Jespersen, Bjørn Procedural isomorphism, analytic information and \(\beta\)-conversion by value. (English) Zbl 07953572 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 325-342 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF
Duží, Marie; Jespersen, Bjørn Transparent quantification into hyperintensional objectual attitudes. (English) Zbl 07953565 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 73-115 (2023). MSC: 03B60 03B65 03A05 × Cite Format Result Cite Review PDF
Jespersen, Bjørn; Duží, Marie Transparent quantification into hyperpropositional attitudes de dicto. (English) Zbl 07953564 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 27-72 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Duží, Marie; Jespersen, Bjørn; Kosterec, Miloš; Vacek, Daniela Introduction. (English) Zbl 07953563 Duží, Marie (ed.) et al., Transparent intensional logic. Selected recent essays. London: College Publications. Stud. Log. (Lond.) 95, 1-24 (2023). MSC: 03B42 03B60 03B65 × Cite Format Result Cite Review PDF
Gamester, Will; Williams, J. Robert G. Radical parochialism about reference. (English) Zbl 07951039 Nôus 57, No. 3, 600-617 (2023). MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Dorr, Cian; Nebel, Jacob M.; Zuehl, Jake The case for comparability. (English) Zbl 07951031 Nôus 57, No. 2, 414-453 (2023). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
de Groote, Philippe Deriving formal semantic representations from dependency structures. (English) Zbl 1542.03047 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 157-172 (2023). MSC: 03B65 91F20 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Okano, Shinya Detecting modality and evidentiality. Against purely temporal-aspectual analyses of the German semi-modal drohen. (English) Zbl 1543.03064 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 139-156 (2023). MSC: 03B65 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Tanaka, Eri; Mizutani, Kenta Granularity in number and polarity effects. (English) Zbl 1542.91332 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 51-66 (2023). MSC: 91F20 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Oshima, David Y. The semantic markedness of the Japanese negative preterite: non-existence of (positive) eventualities vs. existence of negative eventualities. (English) Zbl 1542.91331 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 31-50 (2023). MSC: 91F20 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Kiselyov, Oleg; Watanabe, Haruki Events and relative clauses. (English) Zbl 1542.03048 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 18-30 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Linmin Cumulative reading, QUD, and maximal informativeness. (English) Zbl 1542.91333 Bekki, Daisuke (ed.) et al., Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. Springer. Lect. Notes Comput. Sci. 14213, 1-17 (2023). MSC: 91F20 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Bekki, Daisuke (ed.); Mineshima, Koji (ed.); McCready, Eric (ed.) Logic and engineering of natural language semantics. 19th international conference, LENLS19, Tokyo, Japan, November 19–21, 2022. Revised selected papers. (English) Zbl 1540.03008 Lecture Notes in Computer Science 14213. Springer (ISBN 978-3-031-43976-6/pbk; 978-3-031-43977-3/ebook). xii, 233 p. (2023). MSC: 03-06 68-06 03B65 68T50 91F20 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Lin, Zhe; Wang, Xinshu Modal Lambek calculus with primary assumptions: decidability and context-freeness. (English) Zbl 07823019 Bentzen, Bruno (ed.) et al., Logics for AI and law. Joint proceedings of the third international workshop on logics for new-generation artificial intelligence and the international workshop on logic, AI and law, September 8–9 and 11–12, 2023, Hangzhou, China. London: College Publications. 149-155 (2023). MSC: 03B47 03B25 03B45 03B65 × Cite Format Result Cite Review PDF Full Text: Link
Pshenitsyn, Tikhon Multimodality in the hypergraph Lambek calculus. (English) Zbl 1541.03089 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 03B45 03F52 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mcpheat, Lachlan; Wang, Daphne DisCoCat for donkey sentences. (English) Zbl 1541.03099 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: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Genovese, Fabrizio; Loregian, Fosco; Puca, Caterina Fibrational linguistics (FibLang): language acquisition. (English) Zbl 1545.18012 Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 224-236 (2023). MSC: 18C99 03B65 18N45 03G30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Duží, Marie (ed.); Jespersen, Bjørn (ed.); Kosterec, Miloš (ed.); Vacek, Daniela (ed.) Transparent intensional logic. Selected recent essays. (English) Zbl 1547.03026 Studies in Logic (London) 95. London: College Publications (ISBN 978-1-84890-412-5). vi, 754 p. (2023). MSC: 03-06 03B42 03B60 03B65 00B15 × Cite Format Result Cite Review PDF
Hawke, Peter An acceptance semantics for stable modal knowledge. (English) Zbl 1541.03098 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: 03B65 03B42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Benthem, Johan; Icard, Thomas Interleaving logic and counting. (English) Zbl 07808884 Bull. Symb. Log. 29, No. 4, 503-587 (2023). MSC: 03A05 03B45 03B65 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Rott, Hans On the logical form of evidential conditionals. (English) Zbl 1542.03025 Log. Log. Philos. 32, No. 3, 475-493 (2023). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Molto, Daniel Copredication, Davidson and logical form. (English) Zbl 1542.03021 Log. Log. Philos. 32, No. 3, 403-420 (2023). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Xue, Tao; Luo, Zhaohui; Chatzikyriakidis, Stergios Propositional forms of judgemental interpretations. (English) Zbl 1540.03031 J. Logic Lang. Inf. 32, No. 4, 733-758 (2023). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 03B38 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Moortgat, Michael (ed.); Sadrzadeh, Mehrnoosh (ed.) Proceedings of modalities in substructural logics: applications at the interfaces of logic, language and computation, AMSLO 2023, Ljubljana, Slovenia, August 7–8, 2023. (English) Zbl 1522.03012 Electronic Proceedings in Theoretical Computer Science (EPTCS) 381. Waterloo: Open Publishing Association (OPA). 70 p., electronic only, open access (2023). MSC: 03-06 03B47 03B65 03B70 00B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Sanyal, Manidipa; Sen, Prabal Kumar A new dimension of imperative logic. (English) Zbl 1541.03101 Banerjee, Mohua (ed.) et al., Logic and its applications. 10th Indian conference, ICLA 2023, Indore, India, March 3–5, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13963, 143-158 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Zhang, Linmin Post-suppositions and uninterpretable questions. (English) Zbl 1530.91509 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 167-187 (2023). MSC: 91F20 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Trinh, Tue Comparing the derivation of modal domains and strengthened meanings. (English) Zbl 1530.03088 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 156-166 (2023). MSC: 03B45 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Sano, Katsuhiko; Yamada, Tomoyuki Acts of commanding and promising in dynamified common sense term-sequence-deontic-alethic logic. (English) Zbl 1530.03085 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 116-135 (2023). MSC: 03B45 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Law, Paul Scope reconstruction and interpretation of copies. (English) Zbl 1530.03127 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 99-115 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Elliott, Patrick D. Disjunction in a predictive theory of anaphora. (English) Zbl 1530.03121 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 76-98 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Aloni, Maria Neglect-zero effects in dynamic semantics. (English) Zbl 1532.03045 Deng, Dun (ed.) et al., Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13524, 1-24 (2023). MSC: 03B65 03B45 × Cite Format Result Cite Review PDF Full Text: DOI
Bergier, Hugolin An intensional formalization of generic statements. (English) Zbl 07710084 Log. Univers. 17, No. 2, 139-160 (2023). MSC: 03B40 03B65 03B10 91F20 × Cite Format Result Cite Review PDF Full Text: DOI
Pezlar, Ivo Type polymorphism, natural language semantics, and TIL. (English) Zbl 1515.03141 J. Logic Lang. Inf. 32, No. 2, 275-295 (2023). MSC: 03B65 03B38 × Cite Format Result Cite Review PDF Full Text: DOI
Bozşahin, Cem Referentiality and configurationality in the idiom and the phrasal verb. (English) Zbl 1515.03135 J. Logic Lang. Inf. 32, No. 2, 175-207 (2023). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Rossi, Lorenzo Bicontextualism. (English) Zbl 1533.03005 Notre Dame J. Formal Logic 64, No. 1, 95-127 (2023). Reviewer: Edoardo Rivello (Torino) MSC: 03A05 03B16 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Deng, Dun (ed.); Liu, Mingming (ed.); Westerståhl, Dag (ed.); Xie, Kaibo (ed.) Dynamics in logic and language. Third Tsinghua interdisciplinary workshop on logic, language, and meaning, TLLM 2022, virtual event, April 1–4, 2022. Revised selected papers. (English) Zbl 1517.03003 Lecture Notes in Computer Science 13524. Cham: Springer (ISBN 978-3-031-25893-0/pbk; 978-3-031-25894-7/ebook). ix, 189 p. (2023). MSC: 03-06 91-06 03B65 91F20 00B25 × Cite Format Result Cite Review PDF Full Text: DOI
Pavlović, Edi; Gratzl, Norbert Abstract forms of quantification in the quantified argument calculus. (English) Zbl 07689496 Rev. Symb. Log. 16, No. 2, 449-479 (2023). MSC: 03F05 03B10 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Grilletti, Gianluca; Ciardelli, Ivano Games and cardinalities in inquisitive first-order logic. (English) Zbl 07658887 Rev. Symb. Log. 16, No. 1, 241-267 (2023). MSC: 03B60 03B65 91A44 × Cite Format Result Cite Review PDF Full Text: DOI
Číhalová, Martina; Duží, Marie Modelling dynamic behaviour of agents in a multiagent world: logical analysis of Wh-questions and answers. (English) Zbl 1523.03009 Log. J. IGPL 31, No. 1, 140-171 (2023). Reviewer: Yaroslav Shramko (Kryvyi Rih) MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Protin, Clarence Aristotle’s Second-Order Logic. arXiv:2303.03269 Preprint, arXiv:2303.03269 [math.HO] (2023). MSC: 03-03 03A05 03B45 03B65 × Cite Format Result Cite Full Text: arXiv
Barés Gómez, Cristina; Fontaine, Matthieu Not a negation? A logico-philosophical perspective on the Ugaritic particles lā/ ’al. (English) Zbl 07958049 Topoi 41, No. 3, 515-526 (2022). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Schüler, Hubert Martin The naturalness of Jacques Lacan’s logic. (English) Zbl 07909183 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 241-257 (2022). MSC: 03B53 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Heinemann, Anna-Sophie; Demey, Lorenz Augustus De Morgan’s unpublished octagon of opposition. (English) Zbl 07909179 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 141-169 (2022). Reviewer: C. Pereira da Silva (Curitiba) MSC: 01A55 03A05 03B65 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Segalerba, Gianluigi Division of entities and foundations of reality: Aristotle’s ontological square. (English) Zbl 07909174 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 15-52 (2022). MSC: 03A05 03A10 03B38 03B65 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Ciecierski, Tadeusz A note on the demonstrative uses of indexicals. (English) Zbl 1537.03029 Log. Anal., Nouv. Sér. 65, No. 258, 151-166 (2022). MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Hirata, Keiji; Tojo, Satoshi; Hamanaka, Masatoshi Music, mathematics and language. The new horizon of computational musicology opened by information science. (English) Zbl 1541.00042 Singapore: Springer (ISBN 978-981-19-5165-7/hbk; 978-981-19-5168-8/pbk; 978-981-19-5166-4/ebook). xiv, 257 p. (2022). Reviewer: Athanase Papadopoulos (Strasbourg) MSC: 00A65 91F20 03B65 68Q45 × Cite Format Result Cite Review PDF Full Text: DOI
Shaikh, Razin A.; Yeh, Lia; Rodatz, Benjamin; Coecke, Bob Composing conversational negation. (English) Zbl 1530.03134 Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 352-367 (2022). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Rooth, Mats On Lewis’s “Adverbs of quantification”. (English) Zbl 1530.03133 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 295-310 (2022). MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Guerzoni, Elena On Karttunen’s “The syntax and semantics of questions”. (English) Zbl 1530.03125 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 205-224 (2022). MSC: 03B65 03A05 × Cite Format Result Cite Review PDF Full Text: DOI
Charlow, Simon On Jacobson’s “Towards a variable-free semantics”. (English) Zbl 1530.03119 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 171-196 (2022). MSC: 03B65 91F20 × Cite Format Result Cite Review PDF Full Text: DOI
Gillies, Anthony S. On Groenendijk and Stokhof’s “Dynamic predicate logic”. (English) Zbl 1530.03123 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 121-153 (2022). MSC: 03B65 03B70 × Cite Format Result Cite Review PDF Full Text: DOI
Pietroski, Paul On Davidson’s “The logical form of action sentences”. (English) Zbl 1530.03131 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 89-102 (2022). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Keenan, Edward L. On Barwise and Cooper’s “Generalized quantifiers and natural language”. (English) Zbl 1530.03148 McNally, Louise (ed.) et al., A reader’s guide to classic papers in formal semantics. Volume 100 of Studies in Linguistics and Philosophy. Cham: Springer. Stud. Linguist. Philos. 100, 33-54 (2022). MSC: 03C80 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Plagnol, Arnaud Logic and theory of representation. (English) Zbl 1543.03037 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 737-750 (2022). MSC: 03A05 03B65 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zuber, Richard On the logical expressive power of natural languages. (English) Zbl 1543.03066 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 657-673 (2022). MSC: 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Desclés, Jean-Pierre; Pascu, Anca Christine Quasi-topological structure of extensions within logic of typicals and atypicals (LTA). (English) Zbl 1543.03063 Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 611-656 (2022). MSC: 03B60 03B65 54F99 × Cite Format Result Cite Review PDF Full Text: DOI