Results 271 to 280 of about 79,232 (299)

Strongly analytic tableaux for normal modal logics

1994
A 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   +3 more sources

3-SAT = SAT for a class of normal modal logics

Information Processing Letters, 1995
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Metabolomics in cancer research and emerging applications in clinical oncology

Ca-A Cancer Journal for Clinicians, 2021
Daniel R Schmidt, David G Kirsch, Caroline A Lewis   +2 more
exaly  

Radiation therapy‐associated toxicity: Etiology, management, and prevention

Ca-A Cancer Journal for Clinicians, 2021
Kyle Wang
exaly  

SEMANTICAL ANALYSIS OF MODAL LOGIC II. NON-NORMAL MODAL PROPOSITIONAL CALCULI

, 2014
Saul A. Kripke
semanticscholar   +1 more source

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

Workshop on Logic, Language, Information and Computation, 2021
A. Tabatabai, Rosalie Iemhoff, Raheleh Jalali   +2 more
semanticscholar   +1 more source

Saul A. Kripke. Semantical analysis of modal logic I. Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 9 (1963), pp. 67–96.

Journal of Symbolic Logic (JSL), 1966
David Kaplan
semanticscholar   +1 more source

Female erectile tissues and sexual dysfunction after pelvic radiotherapy: A scoping review

Ca-A Cancer Journal for Clinicians, 2022
Julie Bloom Bs, Mylin A Torres
exaly  

Drug delivery to the central nervous system

Nature Reviews Materials, 2021
, Suzie H Pun
exaly  

Photodynamic therapy of cancer: An update

Ca-A Cancer Journal for Clinicians, 2011
Patrizia M Agostinis, Kristian Berg, Keith A Cengel   +2 more
exaly