scientific article; zbMATH DE number 3260754
From MaRDI portal
Publication:5546768
Cited in
(62)- Modal companions of intermediate propositional logics
- Information and impossibilities
- A classically-based theory of impossible worlds
- The genesis of possible worlds semantics
- Infinitary first-order categorical logic
- A characterisation of some \(\mathbf{Z}\)-like logics
- Modal logics in the vicinity of S1
- Modal extensions of sub-classical logics for recovering classical logic
- 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
- Perfect prediction in normal form: superrational thinking extended to non-symmetric games
- Labelled sequent calculi for Lewis' non-normal propositional modal logics
- Models for relevant modal logics
- Actuality in propositional modal logic
- Algebraic modal correspondence: Sahlqvist and beyond
- S7
- Validity and necessity
- Current trends in substructural logics
- B-frame duality
- Quantified temporal alethic-deontic logic
- Priest on negation
- scientific article; zbMATH DE number 3916229 (Why is no real title available?)
- scientific article; zbMATH DE number 4095430 (Why is no real title available?)
- Variants of multi-relational semantics for propositional non-normal modal logics
- Finite non-deterministic semantics for some modal systems
- Substructural epistemic logics
- On theses without iterated modalities of modal logics between \(\mathbf{C1}\) and \(\mathbf{S5}\). I
- Making sense of paraconsistent logic: the nature of logic, classical logic and paraconsistent logic
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Categorical reconstruction of a reduction free normalization proof
- Logical analysis of emotions in text from natural language
- Constructive canonicity of inductive inequalities
- scientific article; zbMATH DE number 6290307 (Why is no real title available?)
- Proof systems for super-strict implication
- C. I. Lewis's intensional semantics
- The single-minded pursuit of consistency and its weakness
- Non-normal Modal description logics
- On the finite model property of non-normal modal logics
- Non-normal super-strict implications
- Saul Kripke (1940--2022)
- Ruth Barcan Marcus on the Deduction Theorem in Modal Logic
- Against classical paraconsistent metatheory
- Two-dimensional Kripke semantics i: presheaves
- Fine's semantics for relevance logic and its relevance
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- Modality across different logics
- New(ish) foundations for theories of entailment
- Substructural negations as normal modal operators
- Mission impossible
- Nested sequents or tree-hypersequents -- a survey
- Entailment, mingle and binary accessibility
- Saul Kripke: a portrait of the modal logician as a young man
- Introduction
- Bridge principles and epistemic norms
- The future of the present
- Implicational (dual) residuated semilinear gaggle logics
- Epistemic counterpossibilism
- The power of a propositional constant
- On correspondence of standard modalities and negative ones on the basis of regular and quasi-regular logics
- Meredith, Prior, and the history of possible worlds semantics
- Modal logic for other-world agnostics: Neutrality and Halldén incompleteness
- Worlds, models and descriptions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5546768)
