Switch to: References

Citations of:

Undecidability of a class of formulas containing just one single-place predicate variable in modal calculus

In A. O. Slisenko (ed.), Studies in constructive mathematics and mathematical logic. New York,: Consultants Bureau. pp. 67--69 (1969)

Add citations

You must login to add citations.
  1. Sufficient conditions for the undecidability of intuitionistic theories with applications.Dov M. Gabbay - 1972 - Journal of Symbolic Logic 37 (2):375-384.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On the primary and secondary semantics of logical necessity.Nino Cocchiarella - 1975 - Journal of Philosophical Logic 4 (1):13 - 27.
    Download  
     
    Export citation  
     
    Bookmark   21 citations