Intuitionistic Modal Logic: A 15-year retrospective

被引：5
|
作者：
Stewart, Charles
de Paiva, Valeria
Alechina, Natasha
机构：
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2018年 / 28卷 / 05期
关键词：
CALCULUS;
D O I：
10.1093/logcom/exv042
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
[No abstract available]
引用
收藏
页码：873 / 882
页数：10
相关论文
共 50 条
  • [41] Cardiac Findings in Fetal and Pediatric Autopsies: A 15-Year Retrospective Review
    Taweevisit, Mana
    Thorner, Paul
    FETAL AND PEDIATRIC PATHOLOGY, 2019, 38 (01) : 14 - 29
  • [42] Epidemiology and clinical features of pustular psoriasis: A 15-year retrospective cohort
    Tosukhowong, Theetouch
    Kiratikanon, Salin
    Wonglamsam, Patitta
    Netiviwat, Jaturon
    Innu, Tanawin
    Rujiwetpongstorn, Rujira
    Tovanabutra, Napatra
    Chiewchanvit, Siri
    Kwangsukstith, Chartchai
    Chuamanochan, Mati
    JOURNAL OF DERMATOLOGY, 2021, 48 (12): : 1931 - 1935
  • [43] Drowning in Children and Predictive Parameters A 15-Year Multicenter Retrospective Analysis
    Peri, Francesca
    De Nardi, Laura
    Canuto, Arianna
    Gaiero, Alberto
    Noli, Serena
    Ferretti, Marta
    Vergine, Gianluca
    Falcioni, Alice
    Copponi, Elisabetta
    Tagliabue, Bruna
    Massart, Francesco
    Fabiani, Elisabetta
    Stringhi, Carlo
    Rubini, Monica
    Zamagni, Giulia
    Amaddeo, Alessandro
    Genovese, Maria Rita
    Norbedo, Stefania
    PEDIATRIC EMERGENCY CARE, 2023, 39 (07) : 516 - 523
  • [44] Pediatric and Adolescent Figure Skating Injuries: A 15-Year Retrospective Review
    Kowalczyk, Agnieszka D.
    Geminiani, Ellen T.
    Dahlberg, Bridget W.
    Micheli, Lyle J.
    Sugimoto, Dai
    CLINICAL JOURNAL OF SPORT MEDICINE, 2021, 31 (03): : 295 - 303
  • [45] Clinicopathologic update of calcium oxalate in breast: A 15-year retrospective review
    Haghayeghi, Koorosh
    Najibi, Mehran
    Wang, Hai
    Donegan, Linda
    Wang, Yihong
    BREAST JOURNAL, 2020, 26 (09): : 1736 - 1741
  • [46] Predictive Factors of Functioning Adrenal Incidentaloma: A 15-Year Retrospective Study
    Muangnoo, Natwara
    Manosroi, Worapaka
    Leelathanapipat, Napitch
    Meejun, Tanaporn
    Chowchaiyaporn, Pattanan
    Teetipsatit, Pasinee
    MEDICINA-LITHUANIA, 2022, 58 (05):
  • [47] Discontinuation of clozapine: a 15-year naturalistic retrospective study of 320 patients
    Davis, M. C.
    Fuller, M. A.
    Strauss, M. E.
    Konicki, P. E.
    Jaskiw, G. E.
    ACTA PSYCHIATRICA SCANDINAVICA, 2014, 130 (01) : 30 - 39
  • [48] A 15-year retrospective epidemiologic study of ocular trauma in the north of Portugal
    Marta, Ana
    Silva, Nisa
    Correia, Nuno
    Pessoa, Bernardete
    Ferreira, Natalia
    Beirao, Melo
    Meireles, Angelina
    EUROPEAN JOURNAL OF OPHTHALMOLOGY, 2021, 31 (03) : 1079 - 1084
  • [49] Diagnostic algorithm for unilateral sinus disease: a 15-year retrospective review
    Silva, Marianella Paz
    Pinto, Jayant M.
    Corey, Jacquelynne P.
    Mhoon, Ernest E.
    Baroody, Fuad M.
    Naclerio, Robert M.
    INTERNATIONAL FORUM OF ALLERGY & RHINOLOGY, 2015, 5 (07) : 590 - 596
  • [50] A 15-year retrospective analysis of prognostic factors in childhood bacterial meningitis
    Wee, Liang Yi Justin
    Tanugroho, Raymond Reinaldo
    Thoon, Koh Cheng
    Chong, Chia Yin
    Choong, Chew Thye
    Krishnamoorthy, Subramania
    Maiwald, Matthias
    Tee, Nancy Wen Sim
    Tan, Natalie Woon Hui
    ACTA PAEDIATRICA, 2016, 105 (01) : E22 - E29
12345