Squares in fork arrow logic

DOI10.1023/A:1024847106313MaRDI QIDQ1402582zbMATH OpenFDO

Authors Renata P. de Freitas, Jorge P. Viana, Mario Benevides, Sheila R. M. Veloso, Paulo A. S. Veloso

Publication date 28 August 2003

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1024847106313

zbMATH Keywords

arrow logicfork algebramodal logicrelation algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Publication:4489060
• scientific article; zbMATH DE number 1801371
• On fork arrow logic and its expressive power
• scientific article; zbMATH DE number 1086629
• scientific article; zbMATH DE number 859785

Cites work

• A completeness theorem in modal logic
• A Finite Axiomatization for Fork Algebras
• A Modal Logic for Chopping Intervals
• A new proof of Sahlqvist's theorem on modal definability and completeness
• A note on the tense logic of dominoes
• Algebraic semantics for modal logics I
• Algebraization of quantifier logics, an introductory overview
• Boolean Algebras with Operators. Part I
• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1086629 (Why is no real title available?)
• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• scientific article; zbMATH DE number 2064300 (Why is no real title available?)
• scientific article; zbMATH DE number 804142 (Why is no real title available?)
• Multi-dimensional modal logic
• Nonfinitizability of classes of representable cylindric algebras
• Parallel constructions of maximal path sets and applications to short superstrings
• Power structures
• Squares in fork arrow logic

Cited in

(4)

• Squares in fork arrow logic
• On fork arrow logic and its expressive power
• Logical squares for classical logic sentences
• Propositional dynamic logic with storing, recovering and parallel composition

This page was built for publication: Squares in fork arrow logic

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