Switch to: References

Add citations

You must login to add citations.
  1. Neo-Davidsonian ontology of events.Ziqian Zhou - 2019 - Linguistics and Philosophy 44 (1):1-41.
    Recent Neo-Davidsonian accounts of the semantics of progressive constructions of action verbs reflect an ontological distinction between processes or incomplete events on the one hand, and complete events on the other. This paper has two goals. First, it attempts to show that this putative ontological distinction is beset with problems. The second goal of this paper is to offer the beginnings of a positive proposal that seeks to show how the ontologically austere Davidsonian can account for the truth conditions of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inessential features, ineliminable features, and modal logics for model theoretic syntax.Hans-Jörg Tiede - 2008 - Journal of Logic, Language and Information 17 (2):217-227.
    While monadic second-order logic (MSO) has played a prominent role in model theoretic syntax, modal logics have been used in this context since its inception. When comparing propositional dynamic logic (PDL) to MSO over trees, Kracht (1997) noted that there are tree languages that can be defined in MSO that can only be defined in PDL by adding new features whose distribution is predictable. He named such features “inessential features”. We show that Kracht’s observation can be extended to other modal (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • From the textual description of an accident to its causes.Daniel Kayser & Farid Nouioua - 2009 - Artificial Intelligence 173 (12-13):1154-1193.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Proving Cleanthes wrong.Laureano Luna - 2021 - Journal of Applied Logic 8 (3):707-736.
    Hume’s famous character Cleanthes claims that there is no difficulty in explaining the existence of causal chains with no first cause since in them each item is causally explained by its predecessor. Relying on logico-mathematical resources, we argue for two theses: (1) if the existence of Cleanthes’ chain can be explained at all, it must be explained by the fact that the causal law ruling it is in force, and (2) the fact that such a causal law is in force (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•