12 found
Sort by:
  1. Tero Tulenheimo (2014). IF Modal Logic and Classical Negation. Studia Logica 102 (1):41-66.
    The present paper provides novel results on the model theory of Independence friendly modal logic. We concentrate on its particularly well-behaved fragment that was introduced in Tulenheimo and Sevenster (Advances in Modal Logic, 2006). Here we refer to this fragment as ‘Simple IF modal logic’ (IFML s ). A model-theoretic criterion is presented which serves to tell when a formula of IFML s is not equivalent to any formula of basic modal logic (ML). We generalize the notion of bisimulation familiar (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  2. Manuel Rebuschi & Tero Tulenheimo (2011). Between de Dicto and de Re: De Objecto Attitudes. Philosophical Quarterly 61 (245):828-838.
    Hintikka's second generation epistemic logic introduces a syntactic device allowing to express independence relations between certain logical constants. De re knowledge attributions can be reformulated in terms of quantifier independence, but the reformulation does not extend to non-factive attitudes like belief. There, formulae with independent quantifiers serve to express a new type of attitude, intermediate between de dicto and de re, called ‘de objecto’: in each possible world compatible with the agent's belief, there is an individual with the specified property (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Tero Tulenheimo (2011). Negation and Temporal Ontology. Australasian Journal of Philosophy 89 (1):101-114.
    G. H. von Wright proposed that a temporal interval exemplifies a real contradiction if at least one part of any division of this interval involves the presence of contradictorily related (though non-simultaneous) states. In connection with intervals, two negations must be discerned: 'does not hold at an interval' and 'fails throughout an interval'. Von Wright did not distinguish the two. As a consequence, he made a mistake in indicating how to use his logical symbolism to express the notion of real (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Tero Tulenheimo, Independence Friendly Logic. Stanford Encyclopedia of Philosophy.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.) (2009). Games: Unifying Logic, Language, and Philosophy. Springer Verlag.
    This volume presents mathematical game theory as an interface between logic and philosophy.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6. Shahid Rahman & Tero Tulenheimo (2009). From Games to Dialogues and Back. In. In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. 153--208.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Tero Tulenheimo (2009). Hybrid Logic Meets If Modal Logic. Journal of Logic, Language and Information 18 (4):559-591.
    The hybrid logic and the independence friendly modal logic IFML are compared for their expressive powers. We introduce a logic IFML c having a non-standard syntax and a compositional semantics; in terms of this logic a syntactic fragment of IFML is singled out, denoted IFML c . (In the Appendix it is shown that the game-theoretic semantics of IFML c coincides with the compositional semantics of IFML c .) The hybrid logic is proven to be strictly more expressive than IFML (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Tero Tulenheimo (2009). Remarks on Individuals in Modal Contexts. Revue Internationale de Philosophie 4:383-394.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Lauri Hella, Merlijn Sevenster & Tero Tulenheimo (2008). Partially Ordered Connectives and Monadic Monotone Strict Np. Journal of Logic, Language and Information 17 (3):323-344.
    Motivated by constraint satisfaction problems, Feder and Vardi (SIAM Journal of Computing, 28, 57–104, 1998) set out to search for fragments of satisfying the dichotomy property: every problem definable in is either in P or else NP-complete. Feder and Vardi considered in this connection two logics, strict NP (or SNP) and monadic, monotone, strict NP without inequalities (or MMSNP). The former consists of formulas of the form , where is a quantifier-free formula in a relational vocabulary; and the latter is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  10. Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) (2008). Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox. Springer.
    This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Manuel Rebuschi & Tero Tulenheimo (2004). Introduction - Des Jeux en logique. Philosophia Scientiae 8:1-14.
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Tero Tulenheimo (2004). Sur les « opérateurs rétrogrades ». Philosophia Scientiae 8 (2):145-160.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation