scientific article; zbMATH DE number 1047506

MaRDI QIDQ4349283zbMATH OpenFDO

Authors Maarten Marx

Publication date 5 November 1997

zbMATH Keywords

arrow logicarrow-framescomplete axiomatizationcompletenessdecidabilityKleene starpair-framesPeirce Algebraspropositional dynamic logicreasoning about statesreasoning about transitions or programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 868091
• scientific article; zbMATH DE number 1047503
• Dynamic extensions of arrow logic

Cited in

(7)

• The finitely axiomatizable complete theories of non-associative arrow frames
• On fork arrow logic and its expressive power
• scientific article; zbMATH DE number 733404 (Why is no real title available?)
• scientific article; zbMATH DE number 868091 (Why is no real title available?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Arrow Decision Logic for Relational Information Systems
• Dynamic extensions of arrow logic

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