Orthogonal frames and indexed relations

DOI10.1007/978-3-030-88853-4_14MaRDI QIDQ2148794zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Saúl Fernández González

Publication date 24 June 2022

Full work available at URL https://doi.org/10.1007/978-3-030-88853-4_14

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Indexed frames and hybrid logics
• Downward-directed transitive frames with universal relations
• General frames for relevant modal logics
• THE LOGIC OF SEQUENCE FRAMES
• Products of modal logics, part 1

Cites work

• scientific article; zbMATH DE number 1028832 (Why is no real title available?)
• scientific article; zbMATH DE number 7585707 (Why is no real title available?)
• scientific article; zbMATH DE number 3086961 (Why is no real title available?)
• Announcement as effort on topological spaces
• Axiomatizing epistemic logic of friendship via tree sequent calculus
• Comparing semantics for temporal STIT logic
• Logic in the community
• Many-dimensional modal logics: theory and applications
• Modal logic
• Properties of independently axiomatizable bimodal logics
• Some embedding theorems for modal logic
• Temporal STIT logic and its application to normative reasoning

This page was built for publication: Orthogonal frames and indexed relations

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