A Gabbay-rule free axiomatization of \(T\times W\) validity (Q1272831): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Logic and time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Time and modality in the logic of agency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4518428 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3669373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Causation / rank
 
Normal rank
Property / cites work
 
Property / cites work: T \(\times\) W completeness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342095 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A finite axiomatization of the set of strongly valid Ockhamist formulas / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching-time logic with quantification over branches: The point of view of modal logic / rank
 
Normal rank

Latest revision as of 16:33, 28 May 2024

scientific article
Language Label Description Also known as
English
A Gabbay-rule free axiomatization of \(T\times W\) validity
scientific article

    Statements

    A Gabbay-rule free axiomatization of \(T\times W\) validity (English)
    0 references
    0 references
    0 references
    2 December 1998
    0 references
    \(T\times W\) frames
    0 references
    cross-history simultaneity operator
    0 references
    temporal logic
    0 references
    branching-time
    0 references
    axiomatization
    0 references
    synchronism among possibly incompatible histories
    0 references

    Identifiers