yusuke1997/dblp-id-title huggingface dataset:
A Sequent Calculus for Urn Logic
Generation and Selection of Abductive Explanations for Non-Omniscient Agents
Type Polymorphism, Natural Language Semantics, and TIL
Strategic Conversations Under Imperfect Information: Epistemic Message Exchange Games
Probability Logic of Finitely Additive Beliefs
Information Tracking in Games on Graphs
Anti-dynamics: presupposition projection without dynamic semantics
A Note on the Monotonicity of Reducible Quantifiers
Naming Worlds in Modal and Temporal Logic
Fibred Semantics for Feature-Based Grammar Logic
Formal Semantics and Applied Mathematics: An Inferential Account
The Complexity of Modellability in Finite and Computable Signatures of a Constraint Logic for Head-Driven Phrase Structure Grammar
Abstract models for dialogue protocols
Complement Polyvalence and Permutation in English
Communication across Viewpoints
Dynamic Relation Logic Is the Logic of DPL-Relations
Combining Machine Learning and Semantic Features in the Classification of Corporate Disclosures
Combining Argumentation and Bayesian Nets for Breast Cancer Prognosis
Deduction Systems, Rolf Socher-Ambrosius and Patricia Johann
Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck
Set Venn Diagrams Applied to Inclusions and Non-inclusions
Guards, Bounds, and Generalized Semantics
Partially Ordered Connectives and Monadic Monotone Strict NP
An Update on ??Might??
A Logic of Strategic Ability Under Bounded Memory
Vagueness and Order Effects in Color Categorization
Some Properties of Iterated Languages
A Modal Logic for Supervised Learning
Functional dependencies, supervenience, and consequence relations
Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency
Special issue on Euler and Venn Diagrams: Guest Editors' introduction
A Logic of Situated Resource-Bounded Agents
Graph Grammar Formalism with Multigranularity for Spatial Graphs
Deriving properties of belief update from theories of action
Informational interpretation of substructural propositional logics
Kripke Semantics for Modal Substructural Logics
Exhaustive Interpretation of Complex Sentences
Probabilistic Grammars and Languages
Adjectival and Adverbial Modification: The View from Modern Type Theories
Deontic Paradoxes in Mīmāṃsā Logics: There and Back Again
On Nonparametric Predictive Inference and Objective Bayesianism
Guarded Fragments with Constants
Formal Features of Compositionality
Handbook of Tableau Methods, Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, eds
Actions Arising from Intersection and Union
Explaining Quantity Implicatures
Linear, Branching Time and Joint Closure Semantics for Temporal Logic
Reasoning about Action and Change. A Dynamic Logic Approach
Did Frege Believe Frege's Principle?
Aspects of Compositionality
Towards a Type-Theoretical Account of Lexical Semantics
Talking about Trees and Truth-Conditions
A Simple and Non-Trivial Ramsey Test
A Reinterpretation of Beall's 'Off-Topic' Semantics
Nonmonotonic Reasoning, Grigoris Antoniou
A System of Relational Syllogistic Incorporating Full Boolean Reasoning
Language Modeling for Information Retrieval
Decidable and Undecidable Logics with a Binary Modality
Semantics for Knowledge and Change of Awareness
Interpreted Logical Forms as Objects of the Attitudes
Roberto Casati and Achille Varzi, Parts and Places, The Structures of Spatial Representation
Modal Logic over Finite Structures
Inductive Reasoning in Social Choice Theory
Nonmonotonic Reasoning, Expectations Orderings, and Conceptual Spaces
Type-2 Fuzzy Sets and Newton's Fuzzy Potential in an Algorithm of Classification Objects of a Conceptual Space
Connecting the Different Faces of Information
Conditionals, Causality and Conditional Probability
Probability as a Measure of Information Added
A Family Whose Computable Numberings are All Complete
Expressive Power and Intensional Operators
Branching-Time Logics Repeatedly Referring to States
A Note on Intensionalization
Blocking the Routes to Triviality with Depth Relevance
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
Logic of Transition Systems
Guarded Quantification in Least Fixed Point Logic
Drawing Interactive Euler Diagrams from Region Connection Calculus Specifications
Quantum Physical Symbol Systems
A Modal Loosely Guarded Fragment of Second-Order Propositional Modal Logic
Parsing/Theorem-Proving for Logical Grammar CatLog3
Polymorphism, Type containment and Nominalization
On Involutive Nonassociative Lambek Calculus
Multi-Dimensional Modal Logic, Maarten Marx and Yde Venema
The Hamiltonian Syllogistic
Theognis of Megara and the Divine Creating Power in the Framework of Semiotic Textology: An Application of János Sándor Petöfi's Theory to Archaic Greek Literature
Reasoning About Truth in First-Order Logic
Linguistic Applications of First Order Intuitionistic Linear Logic
Computable Heyting Algebras with Distinguished Atoms and Coatoms
Reasoning with Logical Bilattices
Computational Approaches to Language Acquisition, Michael R. Brent, ed.
Kolmogorov Complexity for Possibly Infinite Computations
An Equational Axiomatization of Dynamic Negation and Relational Composition
Anaphoric Constraints and Dualities in the Semantics of Nominals
Translation Invariance and Miller's Weather Example
Relativized Adjacency
Plans, Actions and Dialogues Using Linear Logic
An Algebraic Approach to Propositional Fuzzy Logic
Tolerance Logic
N-Prolog and equivalence of logic programs
Unification Grammars and Off-Line Parsability
Assessing the Strengths and Weaknesses of Large Language Models
Terry Regier, The Human Semantic Potential: Spatial Language and Constrained Connectionism
Syllogistic Relevance and Term Logic
On the Effect of the IO-Substitution on the Parikh Image of Semilinear Full AFLs
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf {Ty}_n$$ Λ Ty n
On ℱ-Systems: A Graph-Theoretic Model for Paradoxes Involving a Falsity Predicate and Its Application to Argumentation Frameworks
Natural Density and the Quantifier "Most"
Modal logic as metalogic
The Ramsey Test and Evidential Support Theory
Locative and Directional Prepositions in Conceptual Spaces: The Role of Polar Convexity
A Formal Model of Multi-Agent Belief-Interaction
Logical Reasoning with Diagrams, Gerard Allwein and Jon Barwise, eds
Dynamic Non-Commutative Logic
Polyadic Dynamic Logics for HPSG Parsing
The Expressivity of Autosegmental Grammars
Unary Quantifiers on Finite Models
On combinations of propositional dynamic logic and doxastic modal logics
Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base
Belief Fusion: Aggregating Pedigreed Belief States
Eliminating "Converse" from Converse PDL
Copies from "Standard Set Theory"? A Note on the Foundations of Minimalist Syntax in Reaction to Chomsky, Gallego and Ott (2019)
Cut and Pay
Reference and perspective in intuitionistic logics
Composition Under Distributive Natural Transformations: Or, When Predicate Abstraction is Impossible
Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen, eds
Phase Semantics and Petri Net Interpretation for Resource-Sensitive Strong Negation
A Vector Logic for Extensional Formal Semantics
Non-strict Interventionism: The Case Of Right-Nested Counterfactuals
A Logic for Trial and Error Classifiers
Learning Local Transductions Is Hard
Natural Deduction Bottom Up
Supercover Semantics for Deontic Action Logic
Variable Handling and Compositionality: Comparing DRT and DTS
Global Index Grammars and Descriptive Power
Adaptive Fuzzy Logics for Contextual Hedge Interpretation
Natural Deduction for First-Order Hybrid Logic
Linguistic \(\leftrightarrow \) Rational Agents' Semantics
Logic for Applications, Anil Nerode and Richard A. Shore
Finiteness in Infinite-Valued Lukasiewicz Logic
Semantic Opposition and WordNet
Inferential Conditionals and Evidentiality
A Type Free Theory and Collective/Distributive Predication
A New Criterion for Comparing Fuzzy Logics for Uncertain Reasoning
Reasoning Processes in Propositional Logic
Public Announcements, Public Lies and Recoveries
Dynamic Logic of Legal Competences
Predicate logic with flexibly binding operators and natural language semantics
Minds, Machines and Turing
Intertheoretic Reduction, Confirmation, and Montague's Syntax-Semantics Relation
An Event-Based Fragment of First-Order Logic over Intervals
Reconstituting Beta Graphs into an Efficacious System
A Type-Driven Vector Semantics for Ellipsis with Anaphora Using Lambek Calculus with Limited Contraction
The Interplay Between the Speaker's and the Hearer's Perspective
Strategy Analysis of Non-consequence Inference with Euler Diagrams
Associative Grammar Combination Operators for Tree-Based Grammars
Adams Conditionals and Non-Monotonic Probabilities
Action Models for Conditionals
Evaluating Free Rides and Observational Advantages in Set Visualizations
Logics for Classes of Boolean Monoids
Dynamic Interpretation and Hoare Deduction
An Incremental Grammar Approach to Multiple Nominative Constructions in Japanese
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018
A descriptive characterisation of linear languages
Modified Numerals and Split Disjunction: The First-Order Case
Intensionality and context change
Inference and Computational Semantics
Partiality, Modality, and Nonmonotonicity, Patrick Doherty, ed
Language Learnability in the Limit: A Generalization of Gold's Theorem
Exception and typicality, logically framed
Model Theoretical Aspects of Weakly Aggregative Modal Logic
Speedith: A Reasoner for Spider Diagrams
A Knowledge Based Semantics of Messages
Weak Negation in Inquisitive Semantics
Logic in Computer Science : Modelling and Reasoning About Systems
Correction to: The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
Temporal Languages for Epistemic Programs
Text Structure and Proof Structure
The Donkey and the Monoid. Dynamic Semantics with Control Elements
Formal Modelling and Verification of Probabilistic Resource Bounded Agents
Symmetric and contrapositional quantifiers
A Mathematical Analysis of Panini's Sivasutras
Developing Bounded Reasoning
Descriptions of Game Actions
A Logical Theory for Conditional Weak Ontic Necessity Based on Context Update
Handbook of Formal Languages
A Formal Model of Communication and Context Awareness in Multiagent Systems
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
A Modal Interpretation of the Logic of Interrogation
Coordination in an Email Game without "Almost Common Knowledge"
Synchronizing Diachronic Uncertainty
Active Agents
Sequential Dynamic Logic
A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors
Investigations into a left-structural right-substructural sequent calculus
Meaning and Dialogue Coherence: A Proof-theoretic Investigation
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Embedding HTLCG into $\hbox {LCG}_\phi $
Labelled Modal Logics: Quantifiers
Semantically Restricted Argument Dependencies
Revising System Specifications in Temporal Logic
Left-to-Right Asymmetry and Early Association in Korean
Animals, Zombanimals, and the Total Turing Test
Completeness for the Classical Antecedent Fragment of Inquisitive First-Order Logic
The conjoinability relation in Lambek calculus and linear logic
Questions and Answers in an Orthoalgebraic Approach
A Class of Conceptual Spaces Consisting of Boundaries of Infinite p-Ary Trees
A Computational Algebraic Analysis of Hindi Syntax
Making Beliefs Coherentl. The Subtraction and Addition Strategies
Logic and Cognition: Special Issue of Best Papers of the ESSLLI 2012 Workshop
Exploring Feature Agreement in French with Parallel Pregroup Computations
Reverse Public Announcement Operators on Expanded Models
Modal Logic, Alexander Chagrov and Michael Zakharyaschev
An Update of Tarski: Two Usages of the Word "True"
On the Logic of Balance in Social Networks
Joe Salerno (ed): New Essays on the Knowability Paradox - Oxford University Press, Oxford, 2009, xi, 373, Hardcover, ISBN: 978-0-19-928549-5
The Grammar of Code Switching
Inessential Features, Ineliminable Features, and Modal Logics for Model Theoretic Syntax
Defaults as restrictions on classical Hilbert-style proofs
A Diagrammatic Inference System with Euler Circles
The Thin Red Line, Molinism, and the Flow of Time
A Tableau Method for Graded Intersections of Modalities: A Case for Concept Languages
The basic constructive logic for a weak sense of consistency
Compositional Translation, M.T. Rosetta, ed
Diversity of Agents and Their Interaction
Temporal Logics of Agency
Verification and Strategy Synthesis for Coalition Announcement Logic
Partial Word Order Freezing in Dutch
Age Differences in Adults' Use of Referring Expressions
Information Structure in Subordinate and Subordinate-Like Clauses
Deaccenting and Higher-Order Unification
Sequence semantics for dynamic predicate logic
A Note on the GLA's Choice of the Current Loser from the Perspective of Factorizability
Lewis' Triviality for Quasi Probabilities
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA
Corpus Processing for Lexical Acquisition, edited by Branimir Boguraev and James Pustejovsky
Lexicalized Non-Local MCTAG with Dominance Links is NP-Complete
Belief Structures in the Realm of Belief Contraction
Two Information Measures for Inconsistent Sets
Gems of Theoretical Computer Science, Uwe Schöning and Randall Pruim
Local Logics, Non-Monotonicity and Defeasible Argumentation
Imperfective and Perfective Habituals in Polish: A Bi-Directional OT Account of Variation and Ambiguity
Editorial: Is JoLLI a Journal for Linguists?
Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities
A Finite Axiomatization of G-Dependence
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars
A Four-Valued Dynamic Epistemic Logic
Approximate Common Knowledge and Co-ordination: Recent Lessons from Game Theory
Pregroup Grammars and Chomsky's Earliest Examples
Errors in Pragmatics
Quantifiers, Anaphora, and Intensionality
A, The, Another: A Game of Same and Different
The Evolution of Compositionality in Signaling Games
The Displacement Calculus
A Partial Account of Presupposition Projection
Typability in Partial Applicative Structures
Logic and Interaction: Foreword to the Special Issue
On Definability in Dependence Logic
Information and Meaning in the Evolution of Compositional Signals
Natural Language Inference in Coq
A Structuralist Theory of Belief Revision
The density of truth in monadic fragments of some intermediate logics
Hybrid Logics of Separation Axioms
Editorial: Compositionality: Current Issues
A Basic Dual Intuitionistic Logic and Some of its Extensions Included in G3 DH
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning
Axioms for classical, intuitionistic, and paraconsistent hybrid logic
Splitting Finite Default Theories: A Comparison of Two Approaches
On the Diagrammatic Representation of Existential Statements with Venn Diagrams
A Hybrid Logic for Reasoning about Knowledge and Topology
Special Issue: Information Dynamics in Artificial Societies (IDAS@ESSLLI-14)
A Note on the Issue of Cohesiveness in Canonical Models
Temporalizing Epistemic Default Logic
Dynamic Syntax
Basic Model Theory, Kees Doets
Double Negation as Minimal Negation
On the Vast Difference
Performability of Actions
On the Strongest Principles of Rational Belief Assignment
A Note on the Expressive Power of Probabilistic Context Free Grammars
Open-Domain Question Answering from Large Text Collection, M. Pa[scedil]ca
On the Asymmetrical Difficulty of Acquiring Person Reference in French: Production Versus Comprehension
A Logical Characterization of Weak Determinism as Simultaneous Application
Generating Coherence Relations via Internal Argumentation
Representing Types as Neural Events
Announcements to Attentive Agents
Means-End Relations and a Measure of Efficacy
Kolmogorov Complexity and Information Theory. With an Interpretation in Terms of Questions and Answers
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities
The Resolution Calculus, Alexander Leitsch
A "Maximal Exclusion" Approach to Structural Underspecification in Dynamic Syntax
Quality and Quantity of Information Exchange
Towards the Use of Automated Reasoning in Discourse Disambiguation
An Application of Peircean Triadic Logic: Modelling Vagueness
On the Recognizing Power of the Lambek Calculus with Brackets
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents
Worlds, Events, and Inertia
Some Notes on Dyadic Contingency
Common Knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics
Notions of Sameness by Default and their Application to Anaphora, Vagueness, and Uncertain Reasoning
A Note on Partial Meet Package Contraction
Relational Modality
Dependence Logic with a Majority Quantifier
First-Order Glue
On Some Dynamics in Conceptual Spaces
Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System
Incremental Dynamics
Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time
Foreword: Logics of Uncertainty
Feferman-Vaught Decompositions for Prefix Classes of First Order Logic
On the Fundamental Role of 'Means That' in Semantic Theorizing
Functional and Structural Integration without Competence Overstepping in Structured Semantic Knowledge Base System
Complexity of the Universal Theory of Residuated Ordered Groupoids
Editorial: Efficacy of Diagrammatic Reasoning
A Guarded Fragment for Abstract State Machines
Evidential Bilattice Logic and Lexical Inference
Boon or Burden? The Role of Compositional Meaning in Figurative Language Processing and Acquisition
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Knowledge-Driven versus Data-Driven Logics
Independent Choices and the Interpretation of IF Logic
Modeling generalized implicatures using non-monotonic logics
An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System
Two Natural Deduction Systems for Hybrid Logic: A Comparison
Rules of Explosion and Excluded Middle: Constructing a Unified Single-Succedent Gentzen-Style Framework for Classical, Paradefinite, Paraconsistent, and Paracomplete Logics
Taming Logic
The Dynamification of Modal Dependence Logic
Compositional Signaling in a Complex World
Analyzing the Core of Categorial Grammar
First-Order Modal Logic, M. Fitting and R. L. Mendelsohn
Geometric Representations for Minimalist Grammars
A Closeness- and Priority-Based Logical Study of Social Network Creation
Computational Semantics in Discourse: Underspecification, Resolution, and Inference
Generalized Quantifiers in Dependence Logic
Differential Object Marking in Kazakh: The Dynamic Syntax Approach
Game-Theoretic Axioms for Local Rationality and Bounded Knowledge
Feedback Relevance Spaces: Interactional Constraints on Processing Contexts in Dynamic Syntax
Variation on a Trivialist Argument of Paul Kabay
Display Calculi for Logics with Relative Accessibility Relations
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation
Preferential Belief Change Using Generalized Epistemic Entrenchment
Resolution calculus for the first order linear logic
On the Logic of Theory Change: Contraction without Recovery
Strategic Reasoning: Building Cognitive Models from Logical Formulas
On Relation Between Linear Temporal Logic and Quantum Finite Automata
Belief Revision and Computational Argumentation: A Critical Comparison
Timing Diagrams: Formalization and Algorithmic Verification
Exploring Logical Dynamics, Johan van Benthem
Nonmonotonic Theories and Their Axiomatic Varieties
The Liar, Context and Logical Form
A Modal Logic for Non-Deterministic Discourse Processing
Multimodal Linguistic Inference
On the Representation of Context
Fibring Non-Truth-Functional Logics: Completeness Preservation
The Balancing Act, Judith L. Klavans and Philip Resnik
Natural Language and Logic of Agency
Reflecting on Social Influence in Networks
Why Sometimes the King of France is Not Bald: Presupposition Denial Without Ambiguity
Definability of Polyadic Lifts of Generalized Quantifiers
On the Identification of Quantifiers' Witness Sets: A Study of Multi-quantifier Sentences
Meaning and Use of Indefinite Expressions
On Automating Diagrammatic Proofs of Arithmetic Arguments
Dialogue Coherence: A Generation Framework
A Logical Analysis of the Relationship between Commitment and Obligation
A Two-Variable Fragment of English
Logical Dialogues with Explicit Preference Profiles and Strategy Selection
New Directions in Type-Theoretic Grammars
Discourse Structure and Sentential Information Structure. An Initial Proposal
Designing Visual Languages for Description Logics
Basic Proof Theory, A.S. Troelstra and H. Schwichtenberg
Put My Galakmid Coin into the Dispenser and Kick It: Computational Linguistics and Theorem Proving in a Computer Game
Symmetry in Polyadic Inductive Logic
What Turing Did after He Invented the Universal Turing Machine
A Logic with Relative Knowledge Operators
Subatomic Natural Deduction for a Naturalistic First-Order Language with Non-Primitive Identity
First-Order Definability of Transition Structures
Erotetic Search Scenarios and Three-Valued Logic
Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics
Speed Up the Conception of Logical Systems with Test-Driven Development
Bayesian Model Learning Based on Predictive Entropy
On the Mathematical Foundations of Syntactic Structures
Monotonicity Reasoning in the Age of Neural Foundation Models
On a Decidable Generalized Quantifier Logic Corresponding to a Decidable Fragment of First-Order Logic
Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks
Game theory and discourse anaphora
Some Remarks on Semantics and Expressiveness of the Sentential Calculus with Identity
Transition Semantics for Branching Time
Editorial: Alan Turing and Artificial Intelligence
Easy Solutions for a Hard Problem? The Computational Complexity of Reciprocals with Quantificational Antecedents
Probabilistic Dynamic Epistemic Logic
Non-transitive Correspondence Analysis
Resolving the Infinitude Controversy
Focus interpretation in Thetic statements: Alternative Semantics and Optimality Theory Pragmatics
Using Abstract Resources to Control Reasoning
The Basic Constructive Logic for Absolute Consistency
One Head is Better than Two: A Polynomial Restriction for Propositional Definite Horn Forgetting
Bayesianism and Language Change
Lexical Choice and Conceptual Perspective in the Generation of Plural Referring Expressions
Ambiguity Advantage Under Meaning Activation
Referent Systems and Relational Grammar
Kripke Contexts, Double Boolean Algebras with Operators and Corresponding Modal Systems
Aural Pattern Recognition Experiments and the Subregular Hierarchy
Inquisitive Propositional Dynamic Logic
Repertoire Contraction
Inquisitive Neighborhood Logic
Classical Implication for Three-Valued Logic
A History Based Logic for Dynamic Preference Updates
Semantic Vector Models and Functional Models for Pregroup Grammars
Incremental Composition in Distributional Semantics
Group Conformity in Social Networks
Towards a natural language semantics without functors and operands
Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics
The Knower Paradox in the Light of Provability Interpretations of Modal Logic
Scope Dominance with Upward Monotone Quantifiers
Merging DEL and ETL
On the expressivity of feature logics with negation, functional uncertainty, and sort equations
IDL-PMCFG, a Grammar Formalism for Describing Free Word Order Languages
Timed Modal Logics for Real-Time Systems - Specification, Verification and Control
Aspecto-Temporal Meanings Analysed by Combinatory Logic
Agency and Deontic Logic, J.F. Horty
The Logic of Peirce Algebras
Off-Line Parsability and the Well-Foundedness of Subsumption