scientific article; zbMATH DE number 972591

MaRDI QIDQ5691504zbMATH OpenFDO

Authors Jeroen Groenendijk, Martin J. B. Stokhof, Frank Veltman

Publication date 29 January 1997

zbMATH Keywords

dynamic predicate logicinformation changemodal logicmodal predicate logicupdate semantics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 2019849
• scientific article; zbMATH DE number 1222488
• A Dynamic Semantics of Modal Subordination
• Sequence semantics for dynamic predicate logic
• Possible-worlds semantics for modal notions conceived as predicates

This page was built for publication:

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