- Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA
- Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System
- Capturing the Varieties of Natural Language Inference: A Systematic Survey of Existing Datasets and Two Novel Benchmarks
- Monotonicity Reasoning in the Age of Neural Foundation Models
- Formal Modelling and Verification of Probabilistic Resource Bounded Agents
- Assessing the Strengths and Weaknesses of Large Language Models
- A Computational Algebraic Analysis of Hindi Syntax
- Double Negation as Minimal Negation
- Commutative Lambek Grammars
- Graph Grammar Formalism with Multigranularity for Spatial Graphs
- A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update
- Iterated AGM Revision Based on Probability Revision
- Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents
- On the Fundamental Role of ‘Means That’ in Semantic Theorizing
- Modified Numerals and Split Disjunction: The First-Order Case
- From Counterfactual Conditionals to Temporal Conditionals
- Relativized Adjacency
- Propositional Forms of Judgemental Interpretations
- Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity
- Names and Quantifiers: Bringing Them Together in Classical Logic
- On $${{{mathcal {F}}}}$$ -Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks
- On $${{{mathcal {F}}}}$$ -Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks
- Complexity of the Universal Theory of Residuated Ordered Groupoids
- A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
- Language Learnability in the Limit: A Generalization of Gold’s Theorem
- Embedding HTLCG into $$hbox {LCG}_phi $$
- Embedding HTLCG into $$hbox {LCG}_phi $$
- Feferman–Vaught Decompositions for Prefix Classes of First Order Logic
- The Epistemology of Nondeterminism
- Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
- 25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018
- Type Polymorphism, Natural Language Semantics, and TIL
- Some Notes on Dyadic Contingency
- Falsification-Aware Calculi and Semantics for Normal Modal Logics Including S4 and S5
- Referentiality and Configurationality in the Idiom and the Phrasal Verb
- Non-transitive Correspondence Analysis
- A Substructural Approach to Explicit Modal Logic
- Algebraic Effects for Extensible Dynamic Semantics
- On the (Complete) Reasons Behind Decisions
- An Epistemic Separation Logic with Action Models
- Revising System Specifications in Temporal Logic
- Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
- Computable Heyting Algebras with Distinguished Atoms and Coatoms
- Type-2 Fuzzy Sets and Newton’s Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space
- An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese
- Filtered Belief Revision: Syntax and Semantics
- Belief Revision and Computational Argumentation: A Critical Comparison
- The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents
- Model Theoretical Aspects of Weakly Aggregative Modal Logic
- Logic and Interaction: Foreword to the Special Issue
- IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages
- Possibility and Dyadic Contingency
- Non-strict Interventionism: The Case Of Right-Nested Counterfactuals
- A Logic for Conditional Local Strategic Reasoning
- Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible
- A Matricial Vue of Classical Syllogistic and an Extension of the Rules of Valid Syllogism to Rules of Conclusive Syllogisms with Indefinite Terms
- The Ramsey Test and Evidential Support Theory
- An Update of Tarski: Two Usages of the Word “True”
- A Modal Logic for Supervised Learning
- Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power
- Who Should Be My Friends? Social Balance from the Perspective of Game Theory
- Public Announcements, Public Lies and Recoveries
- A Simple and Non-Trivial Ramsey Test
- A Reinterpretation of Beall’s ‘Off-Topic’ Semantics
- Anaphoric Conservativity
- Logical Foundations for Hybrid Type-Logical Grammars
- Ambiguity Advantage Under Meaning Activation
- Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces
- Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott (2019)
- Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott (2019)
- Relational Syllogisms with Numerical Quantifiers and Beyond
- Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
- Performability of Actions
- Non-deterministic Logic of Informal Provability has no Finite Characterization
- Dynamic Logic of Legal Competences
- Verification and Strategy Synthesis for Coalition Announcement Logic
- All Ravens can be Black, After All
- Incremental Composition in Distributional Semantics
- Feedback Relevance Spaces: Interactional Constraints on Processing Contexts in Dynamic Syntax
- A Dynamic Analysis of Minimizers in Chinese lian…dou Construction
- Dynamic Syntax
- A Class of Implicative Expansions of Kleene’s Strong Logic, a Subclass of Which Is Shown Functionally Complete Via the Precompleteness of Łukasiewicz’s 3-Valued Logic Ł3
- Differential Object Marking in Kazakh: The Dynamic Syntax Approach
- Evaluating Free Rides and Observational Advantages in Set Visualizations
- Modal and Intuitionistic Variants of Extended Belnap–Dunn Logic with Classical Negation
- Natural Deduction Bottom Up
- A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 $$_{text {DH}}$$ DH
- Reasoning with Ambiguity
- Subatomic Negation
- Inquisitive Propositional Dynamic Logic
- Coalition and Relativised Group Announcement Logic
- A Computational Treatment of Anaphora and Its Algorithmic Implementation
- Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
- A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 $$_{text {DH}}$$ DH
- The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
- Left-to-Right Asymmetry and Early Association in Korean
- Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects
- Iterated Admissibility Through Forcing in Strategic Belief Models
- Correction to: On the Logical Philosophy of Assertive Graphs
- On the Logical Philosophy of Assertive Graphs
- Editorial Foreword
- A Four-Valued Dynamic Epistemic Logic
- A Closeness- and Priority-Based Logical Study of Social Network Creation
- Natural Density and the Quantifier “Most”
- Towards an Algebraic Semantics for Implicatives
- A “Maximal Exclusion” Approach to Structural Underspecification in Dynamic Syntax
- Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base
- A History Based Logic for Dynamic Preference Updates
- The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łkasiewicz’s 3-Valued Logic Ł3
- A Note on the Issue of Cohesiveness in Canonical Models
- The Thin Red Line, Molinism, and the Flow of Time
- Group Conformity in Social Networks
- On Relation Between Linear Temporal Logic and Quantum Finite Automata
- Residual Contraction
- Truth Diagrams Versus Extant Notations for Propositional Logic
- Formal Semantics and Applied Mathematics: An Inferential Account
- Confused Terms in Ordinary Language
- Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities
- On the Logic of Balance in Social Networks
- Variable Handling and Compositionality: Comparing DRT and DTS
- A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning
- A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction
- Translation Invariance and Miller’s Weather Example
- Natural Language Semantics and Computability
- Lewis’ Triviality for Quasi Probabilities
- $$hbox {NL}_lambda $$ NL λ as the Logic of Scope and Movement
- An Application of Peircean Triadic Logic: Modelling Vagueness
- Representing Types as Neural Events
- Choice revision
- Construction-Based Compositional Grammar
- Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures
- Boon or Burden? The Role of Compositional Meaning in Figurative Language Processing and Acquisition
- Parsing/Theorem-Proving for Logical Grammar CatLog3
- Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account
- Inductive Reasoning in Social Choice Theory
- Supercover Semantics for Deontic Action Logic
- On Involutive Nonassociative Lambek Calculus
- First-Order Definability of Transition Structures
- Conditionals, Causality and Conditional Probability
- On Beall’s New Interpretation of $$WK_{3}$$ W K 3
- A Class of Conceptual Spaces Consisting of Boundaries of Infinite p -Ary Trees
- Intertheoretic Reduction, Confirmation, and Montague’s Syntax-Semantics Relation
- Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
- The Expressivity of Autosegmental Grammars
- On the Recognizing Power of the Lambek Calculus with Brackets
- Parameterized Complexity of Theory of Mind Reasoning in Dynamic Epistemic Logic
- Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck
- Diversification of Object-Languages for Propositional Logics
- Reverse Public Announcement Operators on Expanded Models
- Preferential Accessibility and Preferred Worlds
- The Cooper Storage Idiom
- Linguistic $$leftrightarrow $$ ↔ Rational Agents’ Semantics
- On the Modal Logic of the Non-orthogonality Relation Between Quantum States
- Yoad Winter’s Elements of Formal Semantics , 2016, Edinburgh Advanced Textbooks in Linguistics (Edinburgh University Press)
- Linguistic $$leftrightarrow $$ ↔ Rational Agents’ Semantics
- Equivalential Structures for Binary and Ternary Syllogistics
- Idempotency, Output-Drivenness and the Faithfulness Triangle Inequality: Some Consequences of McCarthy’s (2003) Categoricity Generalization
- Strategy Analysis of Non-consequence Inference with Euler Diagrams
- Biography of Alexandre Dikovsky
- Cooperation in Games and Epistemic Readings of Independence-Friendly Sentences
- A Finite Axiomatization of G-Dependence
- Worlds, Events, and Inertia
- Logical Dialogues with Explicit Preference Profiles and Strategy Selection
- In All But Finitely Many Possible Worlds: Model-Theoretic Investigations on ‘ Overwhelming Majority ’ Default Conditionals
- What Makes an Effective Representation of Information: A Formal Account of Observational Advantages
- A Constructive Solution to the Ranking Problem in Partial Order Optimality Theory
- Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus
- Adjectival and Adverbial Modification: The View from Modern Type Theories
- A Proof-Theoretic Semantics for Adjectival Modification
- Set Partitions and the Meaning of the Same
- Reflecting on Social Influence in Networks
- The Evolution of Compositionality in Signaling Games
- Natural Deduction for Modal Logic of Judgment Aggregation
- Compositional Signaling in a Complex World
- Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14)
- AGM Contraction and Revision of Rules
- Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators
- Actions Arising from Intersection and Union
- Some Properties of Iterated Languages
- Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity
- Erotetic Search Scenarios and Three-Valued Logic
- Blockage Revision
- Announcements to Attentive Agents