Switch to: References

Add citations

You must login to add citations.
  1. Continu'ous Time Goes by Russell.Uwe Lück - 2006 - Notre Dame Journal of Formal Logic 47 (3):397-434.
    Russell and Walker proposed different ways of constructing instants from events. For an explanation of "time as a continuum," Thomason favored Walker's construction. The present article shows that Russell's construction fares as well. To this end, a mathematical characterization problem is solved which corresponds to the characterization problem that Thomason solved with regard to Walker's construction. It is shown how to characterize those event structures (formally, interval orders) which, through Russell's construction of instants, become linear orders isomorphic to a given (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Beliefs supported by binary arguments.Chenwei Shi, Sonja Smets & Fernando R. Velázquez-Quesada - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):165-188.
    In this paper, we explore the relation between an agent’s doxastic attitude and her arguments in support of a given claim. Our main contribution is the design of a logical setting that allows us reason about binary arguments which are either in favour or against a certain claim. This is a setting in which arguments and propositions are the basic building blocks so that the concept of argument-based belief emerges in a straightforward way. We work against the background of Dung’s (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Completeness for flat modal fixpoint logics.Luigi Santocanale & Yde Venema - 2010 - Annals of Pure and Applied Logic 162 (1):55-82.
    This paper exhibits a general and uniform method to prove axiomatic completeness for certain modal fixpoint logics. Given a set Γ of modal formulas of the form γ, where x occurs only positively in γ, we obtain the flat modal fixpoint language by adding to the language of polymodal logic a connective γ for each γΓ. The term γ is meant to be interpreted as the least fixed point of the functional interpretation of the term γ. We consider the following (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   66 citations  
  • Beyond tense logic. [REVIEW]John P. Burgess - 1984 - Journal of Philosophical Logic 13 (3):235-248.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation