scientific article; zbMATH DE number 3260754
From MaRDI portal
Publication:5546768
zbMath0163.00502MaRDI QIDQ5546768
Publication date: 1965
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Current trends in substructural logics ⋮ IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 ⋮ On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics ⋮ Infinitary first-order categorical logic ⋮ Actuality in propositional modal logic ⋮ Categorical reconstruction of a reduction free normalization proof ⋮ Meredith, Prior, and the history of possible worlds semantics ⋮ A characterisation of some \(\mathbf{Z}\)-like logics ⋮ Modal logic for other-world agnostics: Neutrality and Halldén incompleteness ⋮ Worlds, models and descriptions ⋮ Algebraic modal correspondence: Sahlqvist and beyond ⋮ Modal logics in the vicinity of S1 ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Finite non-deterministic semantics for some modal systems ⋮ Substructural epistemic logics ⋮ Proof systems for super-strict implication ⋮ Perfect prediction in normal form: superrational thinking extended to non-symmetric games ⋮ C. I. Lewis's intensional semantics ⋮ B-frame duality ⋮ The single-minded pursuit of consistency and its weakness ⋮ Logical analysis of emotions in text from natural language ⋮ Modal extensions of sub-classical logics for recovering classical logic ⋮ On Theses Without Iterated Modalities of Modal Logics Between C1 and S5. Part 1 ⋮ S7 ⋮ Quantified temporal alethic-deontic logic ⋮ Priest on Negation ⋮ Labelled sequent calculi for Lewis' non-normal propositional modal logics ⋮ Modal companions of intermediate propositional logics ⋮ Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic ⋮ Models for relevant modal logics ⋮ The power of a propositional constant ⋮ Unnamed Item ⋮ Information and impossibilities ⋮ A classically-based theory of impossible worlds ⋮ Validity and necessity ⋮ Oskar Becker and the modal translation of intuitionistic logic ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics ⋮ The genesis of possible worlds semantics