12 results on '"KRIPKE semantics"'
Search Results
2. Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
3. SUPER-STRICT IMPLICATIONS.
4. EMPIRICAL NEGATION, CO-NEGATION AND THE CONTRAPOSITION RULE I: SEMANTICAL INVESTIGATIONS.
5. AN INVESTIGATION INTO INTUITIONISTIC LOGIC WITH IDENTITY.
6. Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
7. LABELED SEQUENT CALCULUS FOR ORTHOLOGIC.
8. Super-Strict Implications
9. SOME WEAK VARIANTS OF THE EXISTENCE AND DISJUNCTION PROPERTIES IN INTERMEDIATE PREDICATE LOGICS.
10. INTERPOLATION IN NORMAL EXTENSIONS OF THE BROUWER LOGIC.
11. An Investigation into Intuitionistic Logic with Identity
12. On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.