On PSPACE-decidability in Transitive Modal Logics

@inproceedings{Shapirovsky2015OnPI,
  title={On PSPACE-decidability in Transitive Modal Logics},
  author={Ilya Shapirovsky},
  year={2015}
}
In this paper we describe a new method, allowing us to prove PSPACE-decidability for transitive modal logics. We apply it to L1 and L2, modal logics of Minkowski spacetime. We also show how to extend this method to some other transitive logics. 

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 16 references

Modal logic

  • P. Blackburn, M. de Rijke, Y. Venema
  • 2001
1 Excerpt

Weak transitivity - a restitution (in Russian)

  • L. Esakia
  • Logical investigations,
  • 2001
1 Excerpt

The complexity of propositional tense logics

  • E. Spaan
  • Diamonds and Defaults,
  • 1993
1 Excerpt

Similar Papers

Loading similar papers…