Vol-953⫷ Vol-954 ⫸Vol-955
urn:nbn:de:0074-954-0


None⫷None⫸None

Tableau-based Decision Procedure for Hybrid Logic with Satisfaction Operators, Universal Modality and Difference Modality