The Genesis of Possible Worlds Semantics-Reference-Cited by-同舟云学术

The Genesis of Possible Worlds Semantics

Published:2002-04 Issue:2 Volume:31 Page:99-137
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:Journal of Philosophical Logic

Author:

Copeland B. Jack

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://www.springerlink.com/index/pdf/10.1023/A:1015273407895

Reference79 articles.

1. Bayart, A. (1958): Correction de la logique modale du premier et du second ordre S5 [Soundness of first and second order S5 modal logic], Logique et Analyse 1, 28-44.

2. Bayart, A. (1959): Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique modale du premier ordre S5 [Quasi-completeness of second-order S5 modal logic and completeness of first-order S5 modal logic], Logique et Analyse 2, 99-121.

3. Becker, O. (1952): Untersuchungen über den Modalkalkül [Investigations into Modal Calculus], Westkulturverlag Anton Hain, Meisenheim am Glan.

4. Binkley, R. and Clark, R. (1967): A cancellation algorithm for elementary logic, Theoria 33, 79-97.

5. Binkley, R. and Clark, R. (1968): A cancellation algorithm corrected, Theoria 34, 85.

Cited by 73 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Intensional anaphora;Semantics and Pragmatics;2024-07-14

2. Grundlagen des logischen Schließens;Philosophisches Handbuch Künstliche Intelligenz;2024

3. Łukasiewicz, Bocheński, and Feys: Their Impact on the Early Prior;Logic and Philosophy of Time;2023-10-23

4. A Modal Translational Semantics in Prior’s “Symbolism and Analogy”;Logic and Philosophy of Time;2023-10-23

5. Mechanising Gödel–Löb Provability Logic in HOL Light;Journal of Automated Reasoning;2023-08-29