Computer Science Logic

DOI10.1007/11538363zbMath1136.03316OpenAlexW2479351976MaRDI QIDQ5394592

Carsten Lutz

Publication date: 1 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11538363

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Public announcement logic with distributed knowledge: expressivity, completeness and complexity

This page was built for publication: Computer Science Logic