Switch to: References

Citations of:

Decidability of an Xstit Logic

Studia Logica 102 (3):577-607 (2014)

Add citations

You must login to add citations.
  1. Decidability of Logics Based on an Indeterministic Metric Tense Logic.Yan Zhang & Kai Li - 2015 - Studia Logica 103 (6):1123-1162.
    This paper presents two general results of decidability concerning logics based on an indeterministic metric tense logic, which can be applied to, among others, logics combining knowledge, time and agency. We provide a general Kripke semantics based on a variation of the notion of synchronized Ockhamist frames. Our proof of the decidability is by way of the finite frame property, applying subframe transformations and a variant of the filtration technique.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation