Countermodels from Sequent Calculi in Multi-Modal Logics

  title={Countermodels from Sequent Calculi in Multi-Modal Logics},
  author={Deepak Garg and Valerio Genovese and Sara Negri},
  journal={2012 27th Annual IEEE Symposium on Logic in Computer Science},
A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in labeled sequent calculi, the procedure employs a novel termination condition and countermodel construction. Using the procedure, it is argued that multi-modal variants of several classical and intuitionistic logics including K, T, K4, S4 and their combinations with D are decidable and have the finite model property. At least… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS
10 Citations
4 References
Similar Papers


Publications referenced by this paper.

Similar Papers

Loading similar papers…