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
Unnamed Item, Presburger Büchi tree automata with applications to logics with expressive counting, Reasoning with Global Assumptions in Arithmetic Modal Logics, Modular Markovian Logic