scientific article; zbMATH DE number 3009953

Cited in

(45)

The modal logic of provability. The sequential approach
Embedding sheaf models for set theory into Boolean-valued permutation models with an interior operator
Modal companions of intermediate propositional logics
The axiomatization of S. Jaskowski's discussive system
Discussive sentential calculuc of Jaskowski
Kurt Gödel's intellectual development. [In memoriam Kurt Gödel (28 April 1906 -- 14 January 1978)].
On logics with coimplication
A semantic framework for proof evidence
What is a logic translation?
Translation from three-valued quantum logic to modal logic
Basic properties of deductive systems based on nonclassical logics. Part I, II
Intuitionistische Kennzeichnung der endlichen Spezies
The Logic of Justification
Conservativity for Logics of Justified Belief
Three-valued logics in modal logic
A modal theorem-preserving translation of a class of three-valued logics of incomplete information
The defective conditional in mathematics
On non-self-referential fragments of modal logics
The Minimal System of Justification Logic with Names
Constructive embedding from extensions of logics of strict implication into modal logics
Maksimova, relevance and the study of lattices of non-classical logics
Lattice NExtS4 from the embedding theorem viewpoint
Round squares are no contradictions (tutorial on negation contradiction and opposition)
Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory
Proof complexity of non-classical logics
The modal logic of Gödel sentences
Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect
Executability and connexivity in an interpretation of Griss
Logic Discovered and Logic Imposed (A Purim Story)
The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem
Modal reduction principles: a parametric shift to graphs
Bi-intermediate logics of trees and co-trees
The orthologic of epistemic modals
Subintuitionistic logics and their modal companions: a nested approach
Gödel-Dummett linear temporal logic
Many-valued modal logic
Minimal modal logics, constructive modal logics and their relations
Combining swap structures: the case of paradefinite Ivlev-like modal logics based on FDE
Constructive theories through a modal lens
Local tabularity is decidable for bi-intermediate logics of trees and of co-trees
New(ish) foundations for theories of entailment
Relational patterns, partiality, and set lifting in modal semantics
Saul Kripke: a portrait of the modal logician as a young man
Introduction
Natural constructive proofs of A via A B, proof paradoxes, and impredicativity

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 Q4754492)