Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics Norihiro Kamide OriginalPaper 29 April 2024
Expressive Power and Intensional Operators Pablo Cubides KovacsicsDavid Rey OriginalPaper Open access 24 April 2024
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA Aikaterini-Lida KalouliLasha AbzianidzeStergios Chatzikyriakidis EditorialNotes 12 December 2023 Pages: 1 - 7
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System Gene Louis KimMandar JuvekarLenhart Schubert OriginalPaper 30 November 2023 Pages: 69 - 88
Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks Reto GubelmannIoannis KatisSiegfried Handschuh OriginalPaper Open access 20 November 2023 Pages: 21 - 48
Monotonicity Reasoning in the Age of Neural Foundation Models Zeming ChenQiyue Gao OriginalPaper Open access 15 November 2023 Pages: 49 - 68
Formal Modelling and Verification of Probabilistic Resource Bounded Agents Hoang Nga NguyenAbdur Rakib OriginalPaper Open access 15 November 2023 Pages: 829 - 859
Double Negation as Minimal Negation Satoru Niki OriginalPaper Open access 11 November 2023 Pages: 861 - 886
Assessing the Strengths and Weaknesses of Large Language Models Shalom Lappin OriginalPaper Open access 11 November 2023 Pages: 9 - 20
A Computational Algebraic Analysis of Hindi Syntax Alok DebanthManish Shrivastava OriginalPaper 11 November 2023 Pages: 759 - 776
Graph Grammar Formalism with Multigranularity for Spatial Graphs Yufeng LiuFan YangJian Liu OriginalPaper 06 October 2023 Pages: 809 - 827
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update Fengkui Ju OriginalPaper 21 September 2023 Pages: 777 - 807
Iterated AGM Revision Based on Probability Revision Sven Ove Hansson OriginalPaper Open access 20 August 2023 Pages: 657 - 675
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents Nina GierasimczukDariusz KalocińskiJakub Uszyński OriginalPaper Open access 17 August 2023 Pages: 569 - 600
On the Fundamental Role of ‘Means That’ in Semantic Theorizing Teo GrünbergDavid GrünbergOğuz Akçelik OriginalPaper 07 July 2023 Pages: 601 - 656
Modified Numerals and Split Disjunction: The First-Order Case Maria AloniPeter van Ormondt OriginalPaper Open access 12 June 2023 Pages: 539 - 567
From Counterfactual Conditionals to Temporal Conditionals Yuichiro Hosokawa OriginalPaper Open access 03 June 2023 Pages: 677 - 706
Propositional Forms of Judgemental Interpretations Tao XueZhaohui LuoStergios Chatzikyriakidis OriginalPaper 03 May 2023 Pages: 733 - 758
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity Steffen Lewitzka OriginalPaper 30 March 2023 Pages: 441 - 471
Names and Quantifiers: Bringing Them Together in Classical Logic Jacek Paśniczek OriginalPaper Open access 10 March 2023 Pages: 473 - 487
On \({{{\mathcal {F}}}}\)-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks Gustavo Bodanza OriginalPaper 16 February 2023 Pages: 373 - 393
Complexity of the Universal Theory of Residuated Ordered Groupoids Dmitry ShkatovC. J. Van Alten OriginalPaper 13 January 2023 Pages: 489 - 510
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic Gennady Shtakser OriginalPaper 21 December 2022 Pages: 511 - 538
Language Learnability in the Limit: A Generalization of Gold’s Theorem Fernando C. Alves OriginalPaper 21 December 2022 Pages: 363 - 372
Embedding HTLCG into \(\hbox {LCG}_\phi \) Jordan Needle OriginalPaper 01 December 2022 Pages: 677 - 721
Feferman–Vaught Decompositions for Prefix Classes of First Order Logic Abhisekh Sankaran OriginalPaper 12 November 2022 Pages: 147 - 174
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again Kees van BerkelAgata CiabattoniMaya Olszewski OriginalPaper Open access 19 October 2022 Pages: 19 - 62
Type Polymorphism, Natural Language Semantics, and TIL Ivo Pezlar OriginalPaper 07 October 2022 Pages: 275 - 295
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018 Lawrence MossRuy de Queiroz EditorialNotes 07 October 2022 Pages: 525 - 527
Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5 Norihiro Kamide OriginalPaper 04 October 2022 Pages: 395 - 440
Referentiality and Configurationality in the Idiom and the Phrasal Verb Cem Bozşahin OriginalPaper 27 September 2022 Pages: 175 - 207
Non-transitive Correspondence Analysis Yaroslav PetrukhinVasily Shangin OriginalPaper Open access 19 September 2022 Pages: 247 - 273
A Substructural Approach to Explicit Modal Logic Shawn Standefer OriginalPaper 08 September 2022 Pages: 333 - 362
Algebraic Effects for Extensible Dynamic Semantics Julian GroveJean-Philippe Bernardy OriginalPaper Open access 26 August 2022 Pages: 219 - 245
On the (Complete) Reasons Behind Decisions Adnan DarwicheAuguste Hirth OriginalPaper Open access 18 August 2022 Pages: 63 - 88
An Epistemic Separation Logic with Action Models Hans van DitmarschDidier GalmicheMarta Gawek OriginalPaper Open access 10 August 2022 Pages: 89 - 116
Revising System Specifications in Temporal Logic Paulo T. GuerraRenata Wassermann OriginalPaper 06 August 2022 Pages: 591 - 618
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems Prosenjit HowladerMohua Banerjee OriginalPaper 27 July 2022 Pages: 117 - 146
Computable Heyting Algebras with Distinguished Atoms and Coatoms Nikolay Bazhenov OriginalPaper 27 July 2022 Pages: 3 - 18
Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space Adrianna JagiełłoPiotr LisowskiRoman Urban OriginalPaper Open access 26 July 2022 Pages: 389 - 408
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese Tohru Seraku OriginalPaper 22 July 2022 Pages: 297 - 331
Filtered Belief Revision: Syntax and Semantics Giacomo Bonanno OriginalPaper Open access 20 July 2022 Pages: 645 - 675
Belief Revision and Computational Argumentation: A Critical Comparison Pietro BaroniEduardo FerméGuillermo Ricardo Simari OriginalPaper 31 May 2022 Pages: 555 - 589
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents Anthia Solaki OriginalPaper Open access 07 May 2022 Pages: 529 - 553
Model Theoretical Aspects of Weakly Aggregative Modal Logic Jixin LiuYifeng DingYanjing Wang OriginalPaper 04 May 2022 Pages: 261 - 286