An incomplete system of modal logic-Reference-Cited by-同舟云学术

An incomplete system of modal logic

Published:1985-11 Issue:4 Volume:14 Page:351-358
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Boolos George,Sambin Giovanni

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF00649480.pdf

Reference5 articles.

1. For terminology, nomenclature and notations not defined in this paper, see G. Boolos,The Unprovability of Consistency, Cambridge University Press, 1979, where the system GL is consideredin extenso, along with several other systems of modal propositional logic.

2. R. Magari, ?Primi risultati sulla variet� di Boolos?,Bollentino U.M.I. (6)1-B (1982), 359?367.

3. David Lewis, ?Intensional logics without iterative axioms?,Journal of Philosophical Logic 3 (1974), 457?466.

4. J. F. A. K. van Benthem, ?Two simple incomplete modal logics?,Theoria 44 (1978), 25?37, and ?Syntactic aspects of modal incompleteness theorems?,Theoria 44 (1979), 63?77.

5. L. Henkin, ?A problem concerning provability?,Journal of Symbolic Logic 17 (1952), 160.

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

1. Nonconservative extensions by propositional quantifiers and modal incompleteness;Journal of Logic and Computation;2024-07-31

2. COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS;The Review of Symbolic Logic;2019-07-04

3. Neighborhood Hypergraph Based Classification Algorithm for Incomplete Information System;Mathematical Problems in Engineering;2015

4. Coalgebraic semantics of modal logics: An overview;Theoretical Computer Science;2011-09

5. On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB;Journal of Logic and Computation;2009-03-10