scientific article; zbMATH DE number 1047503

MaRDI QIDQ4349280zbMATH OpenFDO

Authors Maarten Marx, Szabolcs Mikulás, István Németi, Ildikó Sain

Publication date 11 August 1997

zbMATH Keywords

arrow logics of pair-framesassociativity of compositionBeth definabilitybinary relationCraig interpolationdecidabilityfinite axiomatizabilitysemanticssurvey

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1292308
• scientific article; zbMATH DE number 1163392
• Arrow logic and infinite counting
• scientific article; zbMATH DE number 1047508

Cited in

(8)

• Arrow logic and infinite counting
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1047505 (Why is no real title available?)
• scientific article; zbMATH DE number 1047506 (Why is no real title available?)
• scientific article; zbMATH DE number 1047507 (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
• 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 Q4349280)