Orthogonal frames and indexed relations

DOI10.1007/978-3-030-88853-4_14OpenAlexW3204710745MaRDI QIDQ2148794FDOQ2148794

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

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Modal logic
• Many-dimensional modal logics: theory and applications
• Title not available (Why is that?)
• Properties of independently axiomatizable bimodal logics
• Temporal STIT logic and its application to normative reasoning
• Comparing semantics for temporal STIT logic
• Logic in the community
• Some embedding theorems for modal logic
• Title not available (Why is that?)
• Axiomatizing epistemic logic of friendship via tree sequent calculus
• Announcement as effort on topological spaces
• Title not available (Why is that?)

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)