“Conservative” Kripke Closures

  • Raymond D. Gumb
Chapter

Abstract

Computable Kripke closures are properties of relations which have closures in, roughly speaking, the sense of the transitive closure. They were introduced in [8] to generalize Kripke-style tableaux constructions and were studied from a model-theoretic perspective by Weaver and Gumb [19].

Keywords

Modal Logic Accessibility Relation Intuitionistic Logic Closure Property Probabilistic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Barnes, R. F. and R. D. Gumb: 1979, ‘The Completeness of Presupposition Free Tense Logic’, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (hereafter ZMLGM) 25, 193–208.Google Scholar
  2. [2]
    Boolos, G.: 1979 The Unprovability of Consistency. Cambridge: Cambridge University Press.Google Scholar
  3. [3]
    Fine, K: 1979 ‘Failures of the Interpolation Lemma in Quantified Modal Logic’, Journal of Symbolic Logic, 44 201–206.CrossRefGoogle Scholar
  4. [4]
    Fine, K.: 1978, ‘Model Theory for Modal Logic, Part I—The De Re/De Dicto Distinction’, Journal of Philosophical Logic, 7 125–156.Google Scholar
  5. [5]
    Gabbay, D.: 1975 ‘Model Theory for Tense Logics’, Annals of Mathematical Logic 8, 185–236.CrossRefGoogle Scholar
  6. [6]
    Gumb, R. D., ‘Comments on Probabilistic Semantics’,Leblanc, H., Gumb, R. D., and Stern, R. (eds.): 1983, Essays in Semantics and Epistemology,Haven, New York.Google Scholar
  7. [7]
    Gumb, R. D. ‘The Craig-Lyndon Interpolation Lemma for (Free) Intuitionistic Logic with Equality’, [15].Google Scholar
  8. [8]
    Gumb, R. D.: 1979, Evolving Theories. New York: Haven, 1979.Google Scholar
  9. [9]
    Gumb, R. D.: 1984, ‘An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality’, Journal of Symbolic Logic, 49.Google Scholar
  10. [10]
    Gumb, R. D.: 1972, Rule-Governed Linguistic Behavior, Mouton, The Hague.Google Scholar
  11. [11]
    Gumb, R. D. ‘A Translation of (Free) Intuitionistic Logic with Equality into Free S4 with Equality and Increasing Domains’, Leblanc, H., Gumb, R. D., and Stern, R. (eds.): 1983, Essays in Semantics and Epistemology, Haven, New York.Google Scholar
  12. [12]
    Harper, W. L.: ‘A Conditional Belief Semantics for Free Quantificational Logic with Identity’, inLeblanc, H., Gumb, R. D., and Stern, R. (eds.): 1983, Essays in Semantics and Epistemology,Haven, New York..Google Scholar
  13. [13]
    Leblanc, H.: 1976, Truth-Value Semantics North Holland, Amsterdam.Google Scholar
  14. [14]
    Leblanc, H. and Gumb, R. D.: ‘Completeness and Soundness Proofs for Three Brands of Intuitionistic Logic’, in Leblanc, H., Gumb, R. D., and Stern, R. (eds.): 1983, Essays in Semantics and Epistemology,Haven, New York.Google Scholar
  15. [15]
    Leblanc, H., Gumb, R. D., and Stern, R. (eds.): 1983, Essays in Semantics and Epistemology, Haven, New York.Google Scholar
  16. [16]
    Lemmon, E. J.: 1977, An Introduction to Modal Logic, Basil Blackwell, Oxford.Google Scholar
  17. [17]
    Makinson, D. C.: 1966, ‘On Some Completeness Theorems in Modal Logic’ ZMLGM 12 379–384.CrossRefGoogle Scholar
  18. [18]
    Sahlqvist, H.: 1975, ‘Completeness and Correspondence in the First and Second Order Semantics for Modal Logic’ in S. Kanger (ed.), Proceedings of the Third Scandinavian Logic Symposium, Uppsala 1973, North Holland, Amsterdam.Google Scholar
  19. [19]
    Weaver, G. and R. D. Gumb’ 1982, ‘First Order Properties of Relations with the Monotonic Closure Property’, ZMLGM, 28, 1–5.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 1984

Authors and Affiliations

  • Raymond D. Gumb
    • 1
  1. 1.Computer Science Dept.California State University — NorthridgeNorthridgeUSA

Personalised recommendations