Complete proof systems for weighted modal logic

DOI10.1016/j.tcs.2014.03.007zbMath1317.68120OpenAlexW1992392068MaRDI QIDQ2253184

Radu Mardare, Kim Guldstrand Larsen

Publication date: 25 July 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.03.007

zbMATH Keywords

theorem provingmodel checkingfinite model propertyaxiomatizationweighted transition systemsweighted modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Weighted modal logic in epistemic and deontic contexts ⋮ Concurrent weighted logic ⋮ Unnamed Item ⋮ On decidability of recursive weighted logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological proofs of some Rasiowa-Sikorski lemmas
• Compositional checking of satisfaction
• Handbook of weighted automata
• A calculus of communicating systems
• Automata, languages and programming. 17th international colloquium, Warwick University, England, July 16--20, 1990. Proceedings
• Characteristic formulae for processes with divergence
• Hybrid systems: computation and control. 4th international workshop, HSCC 2001, Rome, Italy, March 28--30, 2001. Proceedings
• Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
• Intuitive Probability Logic
• Deduction Systems for Coalgebras Over Measurable Spaces
• A Complete Deductive System for Probability Logic
• Algebraic laws for nondeterminism and concurrency
• Continuous Markovian Logics - Axiomatization and Quantified Metatheory
• Stone Duality for Markov Processes
• Computer aided verification. 3rd international workshop, CAV '91, Aalborg, Denmark, July 1--4, 1991. Proceedings

This page was built for publication: Complete proof systems for weighted modal logic