Tense logics over lattices (Q6102994): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / cites work
 
Property / cites work: Q3469091 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4218019 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Implicit and explicit stances in logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5532570 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nominal tense logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lattice of modal logics: an algebraic investigation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342094 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truth-maker semantics for intuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logic with names / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3629226 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Set-theoretic mereology / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the modal logic of subset and superset: tense logic over Medvedev frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: MEREOLOGICAL BIMODAL LOGICS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5848894 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3246315 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systems of logic whose truth-values form lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 06:10, 1 August 2024

scientific article; zbMATH DE number 7691316
Language Label Description Also known as
English
Tense logics over lattices
scientific article; zbMATH DE number 7691316

    Statements

    Tense logics over lattices (English)
    0 references
    0 references
    0 references
    2 June 2023
    0 references
    tense logic
    0 references
    lattice
    0 references
    completeness
    0 references
    step-by-step
    0 references
    hybrid logic
    0 references
    modal logic
    0 references
    polyadic modal logic
    0 references

    Identifiers