Publication:2904057
From MaRDI portal
zbMath1254.03036MaRDI QIDQ2904057
Publication date: 5 August 2012
satisfiability; linear inequalities; probabilistic modal logic; cut-free sequent calculus; coalgebraic semantics; graded modal logic; stochastic modal logic
03B45: Modal logic (including the logic of norms)
Related Items