23 results on '"Heinrich Wansing"'
Search Results
2. Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic.
3. Disentangling FDE-Based Paraconsistent Modal Logics.
4. 40 years of FDE: An Introductory Overview.
5. Kripke Completeness of Bi-intuitionistic Multilattice Logic and its Connexive Variant.
6. The Logic of Generalized Truth Values and the Logic of Bilattices.
7. Hypersequent and Display Calculi - a Unified Perspective.
8. Synchronized Linear-Time Temporal Logic.
9. Editorial Introduction. Truth Values: Part II.
10. Editorial Introduction. Truth Values: Part I.
11. The Slingshot Argument and Sentential Identity.
12. Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System.
13. From the Editors.
14. Preface.
15. A Rule-Extension of the Non-Associative Lambek Calculus.
16. Introduction.
17. The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations.
18. Predicate Logics on Display.
19. A general possible worlds framework for reasoning about knowledge and belief.
20. Editorial.
21. Editorial.
22. Erratum to Suszko's Thesis, Inferential Many-valuedness, and the Notion of a Logical System Studia Logica , 88: 405-429, 2008.
23. Addenda and corrigenda to 'A general possible worlds framework for reasoning about knowledge and belief'.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.