scientific article
From MaRDI portal
Publication:2904057
zbMath1254.03036MaRDI QIDQ2904057
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
satisfiabilitylinear inequalitiesprobabilistic modal logiccut-free sequent calculuscoalgebraic semanticsgraded modal logicstochastic modal logic
Related Items (4)
Reasoning with Global Assumptions in Arithmetic Modal Logics ⋮ Presburger Büchi tree automata with applications to logics with expressive counting ⋮ Modular Markovian Logic ⋮ Unnamed Item
This page was built for publication:
