Dynamic squares

DOI10.1007/BF01052600zbMath0842.03016OpenAlexW4245235266MaRDI QIDQ1902558

Yde Venema, Patrick Blackburn

Publication date: 24 July 1996

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01052600

zbMATH Keywords

dynamic logicdiscourse representation theoryBoolean modal logicdynamic implicationtwo-dimensional Kripke modelstwo-dimensional propositional modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic in computer science (03B70)

Related Items (1)

Sequential dynamic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the logic of demonstratives
• Proof methods for modal and intuitionistic logics
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Cylindric algebras. Part II
• The domino relation: Flattening a two-dimensional logic
• Language in action
• A note on the tense logic of dominoes
• Incremental semantics for propositional texts
• Logics in AI. European workshop JELIA '92. Berlin, Germany, September 7--10, 1992
• Complementary variational principles and the Bubnov-Galerkin method
• A Modal Logic for Chopping Intervals
• The modal logic of inequality
• Dynamic predicate logic
• Semantic analysis of tense logics
• Universal grammar
• To the memory of Arthur Prior Formal properties of ‘now’
• Completeness in the theory of types
• Two-dimensional modal logic

This page was built for publication: Dynamic squares