Results 171 to 180 of about 87,429 (211)
Some of the next articles are maybe not open access.
Normal predicative logics with graded modalities
Studia Logica, 1988In 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 +2 more sources
Strongly analytic tableaux for normal modal logics
1994A strong analytic tableau calculus is presentend for the most common normal modal logics. The method combines the advantages of both sequent-like tableaux and prefixed tableaux. Proper rules are used, instead of complex closure operations for the accessibility relation, while non determinism and cut rules, used by sequent-like tableaux, are totally ...
openaire +2 more sources
From Classical to Normal Modal Logics
1996Classical 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]).)
Olivier Gasquet, Andreas Herzig
openaire +1 more source
Interpretations of intuitionist logic in non-normal modal logics
Journal of Philosophical Logic, 1999By 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
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Mathematical Logic Quarterly, 1963Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The proof of sufficiency, which is omitted by many, proceeds by constructing a normal characteristic matrix by Lindenbaum's method. The tableaux that leads to a decision procedure for the propositional calculi is considered.
openaire +2 more sources
Metabolomics in cancer research and emerging applications in clinical oncology
Ca-A Cancer Journal for Clinicians, 2021Daniel R Schmidt +2 more
exaly
Radiation therapy‐associated toxicity: Etiology, management, and prevention
Ca-A Cancer Journal for Clinicians, 2021Kyle Wang
exaly
Female erectile tissues and sexual dysfunction after pelvic radiotherapy: A scoping review
Ca-A Cancer Journal for Clinicians, 2022Deborah C Marshall, Mas +2 more
exaly