Results 251 to 260 of about 79,232 (299)

Interpretations of intuitionist logic in non-normal modal logics [PDF]

Journal of Philosophical Logic, 1999
By a result of Hacking, Tarski translation \(t\) interprets the intuitionistic propositional calculus \(\mathbf { IPC}\) in the non-normal modal logic \(\mathbf { S3}\) (i.e. \(\mathbf { IPC} \vdash A\) iff \(\mathbf { S3} \vdash t(A)\), for any formula \(A\)).
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

Normal predicative logics with graded modalities

Studia Logica, 1988
In this work we extend results from ``Graded modalities. I-III'' [see the review above; Part III is to appear] about propositional calculi with graded modalities to the predicative level. Our semantics is based on Kripke models with a single domain of interpretation for all the worlds.
openaire   +3 more sources

Conditional logics of normality: A modal approach

Artificial Intelligence, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$

Izvestiya: Mathematics
We present a justification logic corresponding to the modal logic of transitive closure $\mathsf{K}^+$ and establish a normal realization theorem relating these two systems.
Daniyar S. Shamkanov
semanticscholar   +1 more source

Amalgamation and interpolation in normal modal logics

Studia Logica, 1991
This paper is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.
openaire   +2 more sources

Semantic Incompleteness of Liberman et al. (2020)'s Hilbert-style System for Term-modal Logic K with Equality and Non-rigid Terms

Non-Classical Logic. Theory and Applications
In this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al. (2020) “Dynamic Term-modal Logics for First-
Takahiro Sawasaki
semanticscholar   +1 more source

Normal Modal Substructural Logics with Strong Negation

Journal of Philosophical Logic, 2003
This paper defines a large variety of propositional substructural logics that are extended to include two modal operators, ! (for `of course') and ? (for `why not'), and especially to include an operator, \(\sim\), for Nelson's strong negation (constructible falsity).
openaire   +3 more sources

A lattice of normal modal logics [PDF]

Algebra and Logic, 1974
Vladimir V. Rybakov, L. L. Maksimova
openaire   +1 more source

Models for stronger normal intuitionistic modal logics

Studia Logica, 1985
This paper, a sequel to the one reviewed above (see Zbl 0634.03014), which dealt with intuitionistic analogues of the modal system \({\mathbb{K}}\), deals similarly with intuitionistic analogues of systems stronger than \({\mathbb{K}}\), and, in particular, analogues of S4 and S5.
openaire   +2 more sources

From Classical to Normal Modal Logics

1996
Classical modal logics (Segerberg [27], Chellas [2]) are weaker than the well-known normal modal logics: The only rule that is common to all classical modal logics is (We nevertheless note that this principle raises problems in systems containing equality (Hughes and Cresswell [14]).)
Andreas Herzig, Olivier Gasquet
openaire   +2 more sources