A substructural approach to explicit modal logic (Q6156629): Difference between revisions

From MaRDI portal
Newer edit →
Importer (talk | contribs)
Bots
7,312,628 edits
‎Created a new Item
 
ReferenceBot (talk | contribs)
Bots
1,984,406 edits
‎Changed an Item
(2 intermediate revisions by 2 users not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10849-022-09380-z / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4295123584 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4085699 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4297115 / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE LOGIC OF JUSTIFICATION / rank
 
Normal rank
Property / cites work
 
Property / cites work: Justification Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The basic intuitionistic logic of proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the ternary relation and conditionality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic logics for sceptical agents / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2904045 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3347856 / rank
 
Normal rank
Property / cites work
 
Property / cites work: From the knowability paradox to the existence of proofs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relevant predication. I: The formal theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of philosophical logic. Vol. 6 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Belief, awareness, and limited reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: A hyperintensional logical framework for deontic reasons / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models for entailment / rank
 
Normal rank
Property / cites work
 
Property / cites work: The logic of proofs, semantically / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models for relevant modal logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A LOGIC OF JUSTIFICATION AND TRUTHMAKING / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new framework for justification logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Neighborhoods for entailment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3093482 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5232011 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The nature of information: a relevant approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics for relevance logic with identity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relevant logic and the theory of information / rank
 
Normal rank
Property / cites work
 
Property / cites work: General information in relevant logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Neighborhood semantics for modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3518425 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural logics for pooling information / rank
 
Normal rank
Property / cites work
 
Property / cites work: SUBSTRUCTURAL INQUISITIVE LOGICS / rank
 
Normal rank
Property / cites work
 
Property / cites work: A relevant logic of questions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5691522 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5274887 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4073358 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4175263 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3701398 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Evidence Reconstruction of Epistemic Modal Logic S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Realization of -modality by Evidence Terms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5869606 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Justifications, Awareness and Epistemic Dynamics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Substructural epistemic logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Epistemic extensions of modal distributive substructural logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relative necessity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tracking reasons with extensions of relevant logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Identity in Mares-Goldblatt models for quantified relevant logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: An incompleteness theorem for modal relevant logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Information Flow in Logics in the Vicinity of BB / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semantics for relevant logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Diamonds are a philosopher's best friends. The knowability paradox and modal epistemic relevance logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3647274 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 09:33, 1 August 2024

scientific article; zbMATH DE number 7695704
Language Label Description Also known as
English
A substructural approach to explicit modal logic
scientific article; zbMATH DE number 7695704

    Statements

    title
    A substructural approach to explicit modal logic (English)
    0 references
    author
    Shawn Standefer
    0 references
    publication date
    14 June 2023
    0 references
    cites work
    Q4085699
    0 references
    Q4297115
    0 references
    Justification Logic
    0 references
    Q2904045
    0 references
    Q3347856
    0 references
    Models for entailment
    0 references
    Q3093482
    0 references
    Q5232011
    0 references
    Q3518425
    0 references
    Q5691522
    0 references
    Q5274887
    0 references
    Q4073358
    0 references
    Q4175263
    0 references
    Q3701398
    0 references
    Q5869606
    0 references
    Relative necessity
    0 references
    Q3647274
    0 references

    Identifiers

    zbMATH DE Number
    7695704
    0 references
    OpenAlex ID
    W4295123584
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6156629&oldid=37524678"
    Powered by MediaWiki