NON-ESSENTIALISTIC MODAL LOGIC OR MEANING AND NECESSITY REVISITED

被引：0
|
作者：
BURDICK, H
机构：
来源：
PHILOSOPHIA | 1993年 / 22卷 / 1-2期
关键词：
D O I：
10.1007/BF02379809
中图分类号：
B [哲学、宗教];
学科分类号：
01 ; 0101 ;
摘要：
[No abstract available]
引用
收藏
页码：87 / 93
页数：7
相关论文
共 50 条
  • [41] A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
    Bottoni, Paolo
    Gorla, Daniele
    Kasangian, Stefano
    Labella, Anna
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (04) : 508 - 532
  • [42] Maximally permissive controlled system synthesis for non-determinism and modal logic
    A. C. van Hulst
    M. A. Reniers
    W. J. Fokkink
    Discrete Event Dynamic Systems, 2017, 27 : 109 - 142
  • [43] Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
    Bashmakov, Stepan I.
    JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS, 2018, 11 (01): : 3 - 9
  • [44] A Four-Valued Hybrid Logic with Non-dual Modal Operators
    Costa, Diana
    Martins, Manuel A.
    DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, 2020, 12005 : 88 - 103
  • [45] THE PRINCIPLES OF NON-CONTRADICTION AND EXCLUDED-MIDDLE IN FUZZY LOGIC, REVISITED
    Trillas, Enric
    APPLIED AND COMPUTATIONAL MATHEMATICS, 2011, 10 (01) : 78 - 87
  • [46] MAT logic:: A temporal x modal logic with non-deterministic operators to deal with interactive systems in communication technologies
    Aguilera, Gabriel
    Burrieza, Alfredo
    Cordero, Pablo
    de Guzman, Inmaculada P.
    Munoz, Emilo
    ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA-SBIA 2006, PROCEEDINGS, 2006, 4140 : 602 - 611
  • [47] Modal Logic With Non-Deterministic Semantics: Part II-Quantified Case
    Coniglio, Marcelo E.
    Farinasdelcerro, Luis
    Peron, Newton Marques
    LOGIC JOURNAL OF THE IGPL, 2022, 30 (05) : 695 - 727
  • [48] Modal logic with non-deterministic semantics: Part I-Propositional case
    Coniglio, Marcelo E.
    Luis, Farinas Del Cerro
    Newton, Marques Peron
    LOGIC JOURNAL OF THE IGPL, 2020, 28 (03) : 281 - 315
  • [49] Modelling and Verification Analysis of Cooperative and Non-Cooperative Games via a Modal Logic Approach
    Konigsberg, Zvi Retchkiman
    COMPUTACION Y SISTEMAS, 2021, 25 (03): : 515 - 521
  • [50] A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts
    Howlader, Prosenjit
    Banerjee, Mohua
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 153 : 115 - 143
12345