Sequent Calculi for Multi-modal Logic with Interaction

DOI10.1007/978-3-642-40948-6_10zbMATH Open1407.03033OpenAlexW31210883MaRDI QIDQ2859100FDOQ2859100

Norbert Gratzl

Publication date: 6 November 2013

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40948-6_10

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (6)

• Title not available (Why is that?)
• Multimodal Separation Logic for Reasoning About Operational Semantics
• A sequent calculus for propositional dynamic logic for agents with interactions
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• A Logical Calculus for Modelling Interferences
• A decidable multi-modal logic of context

Recommendations

• Sequent-systems for modal logic 👍 👎
• A sequent calculus for propositional dynamic logic for agents with interactions 👍 👎
• Compositional Reasoning for Multi-modal Logics 👍 👎
• Countermodels from Sequent Calculi in Multi-Modal Logics 👍 👎
• Sequent calculi for global modal consequence relations 👍 👎
• Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Sequent Calculi for Multi-modal Logic with Interaction

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