Publication:3594284
From MaRDI portal
zbMath1137.03009MaRDI QIDQ3594284
Publication date: 7 August 2007
sequent calculus; branching time; bundle semantics; restricted cut rule; temporal logic of knowledge and belief
Related Items