GENERAL DYNAMICS

DOI10.1515/THLI.1991.17.1-3.159MaRDI QIDQ3986890zbMATH OpenOpenAlexFDO

Authors Johan van Benthem

Publication date 28 June 1992

Published in Theoretical Linguistics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1515/thli.1991.17.1-3.159

zbMATH Keywords

cognitive actiondynamic logicrelational algebra

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Recommendations

• scientific article; zbMATH DE number 753771
• scientific article; zbMATH DE number 970742
• A dynamic logic of action
• scientific article; zbMATH DE number 1929151

Cited in

(9)

• Algebraization of quantifier logics, an introductory overview
• Sequence semantics for dynamic predicate logic
• Dynamic semantics and circular propositions
• Reasoning about update logic
• Presupposition failure - a comedy of errors
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Merging without mystery or: Variables in dynamics semantics
• scientific article; zbMATH DE number 753771 (Why is no real title available?)
• Dynamic Epistemic Logic as a Substructural Logic

This page was built for publication: GENERAL DYNAMICS

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