scientific article; zbMATH DE number 733404

MaRDI QIDQ4325792zbMATH OpenFDO

Authors Johan van Benthem

Publication date 30 March 1995

zbMATH Keywords

bisimulationcategorial grammardynamic modal logic with updating and revisingfunctional completenessmodal arrow logicprocedural logicproceduresregular program operationsrelational algebrasrelational operatorsstructural inference rulestransition modelstype-theoretic analysis of procedural operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• scientific article; zbMATH DE number 873168
• scientific article; zbMATH DE number 1537935
• scientific article; zbMATH DE number 753771
• scientific article; zbMATH DE number 1047506
• Dynamic extensions of arrow logic

Cited in

(18)

• Language in action
• Reasoning about update logic
• Towards reasoning about Petri nets: a propositional dynamic logic based approach
• Partial up an down logic
• Probability, coherent belief and coherent belief changes
• Information and Logical Discrimination
• Reasoning About Belief Revision
• Propositional dynamic logic for Petri nets with iteration
• scientific article; zbMATH DE number 5542889 (Why is no real title available?)
• scientific article; zbMATH DE number 49692 (Why is no real title available?)
• scientific article; zbMATH DE number 1086639 (Why is no real title available?)
• scientific article; zbMATH DE number 753771 (Why is no real title available?)
• On the Logic of Information Flow
• scientific article; zbMATH DE number 873168 (Why is no real title available?)
• Contraction, Revision, Expansion: Representing Belief Change Operations
• scientific article; zbMATH DE number 972605 (Why is no real title available?)
• Inputs, Outputs, and Composition in the Logic of Information Flows
• Implicational Kleene algebra with domain and the substructural logic of partial correctness

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 Q4325792)