On modal logics of linear inequalities

MaRDI QIDQ2904057zbMATH OpenFDO

Authors Clemens Kupke, Dirk Pattinson

Publication date 5 August 2012

zbMATH Keywords

coalgebraic semanticscut-free sequent calculusgraded modal logiclinear inequalitiesprobabilistic modal logicsatisfiabilitystochastic modal logic

Mathematics Subject Classification ID

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

Recommendations

• Solving graded/probabilistic modal logic via linear inequalities (system description)
• scientific article; zbMATH DE number 487145
• CONCUR 2004 - Concurrency Theory
• A finite model construction for coalgebraic modal logic
• Foundations of Software Science and Computation Structures

Cited in

(11)

• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Linear modalities in mininal logic
• Solving graded/probabilistic modal logic via linear inequalities (system description)
• Reasoning with global assumptions in arithmetic modal logics
• Modular Markovian Logic
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• Riesz modal logic with threshold operators
• Presburger Büchi tree automata with applications to logics with expressive counting
• COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)
• Coalgebraic satisfiability checking for arithmetic -calculi
• From modal sequent calculi to modal resolution

This page was built for publication: On modal logics of linear inequalities

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