Compositionality in context

DOI10.1007/978-3-031-24117-8_21MaRDI QIDQ6612797

Dag Westerståhl, Alexandru Baltag, Johan van Benthem

Publication date: 1 October 2024

zbMATH Keywords

coalgebracompositionalityinferencegame semanticsdependencecontextualitylanguage designcurrying

Mathematics Subject Classification ID

Quantum computation (81P68) Logic in computer science (03B70) Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the compositional extension problem
• From IF to BI. A tale of dependence and separation
• Fixed-point extensions of first-order logic
• Modal languages and bounded fragments of predicate logic
• Coalgebraic logic
• Full abstraction for idealized Algol with passive expressions
• Formal features of compositionality
• Frege, contextuality and compositionality
• Automata, logics, and infinite games. A guide to current research
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Implicit and explicit stances in logic
• A simple logic of functional dependence
• Evolution of conventional meaning and conversational principles
• Logic and the modalities in the twentieth century
• Modal logic
• Some combinatorics of imperfect information
• Translations between logical systems: A manifesto
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Sensible Semantics of Imperfect Information
• From CSP to Game Semantics
• Changing a Semantics: Opportunism or Courage?
• Handbook of Spatial Logics
• Algebraizable logics
• Games and full completeness for multiplicative linear logic
• From compositional to systematic semantics
• Compositional semantics for a language of imperfect information
• Sequentiality vs. concurrency in games and logic
• Dynamic predicate logic
• From Sentence Meanings to Full Semantics
• Universal grammar

This page was built for publication: Compositionality in context

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6612797)