Results for 'Tero Vartiainen'

64 found
Order:
  1.  44
    Unauthorized Copying of Software: An Empirical Study of Reasons for and Against.Mikko T. Siponen & Tero Vartiainen - 2007 - Acm Sigcas Computers and Society 37 (1):30-43.
    Computer users copy computer software - this is well-known. However, less well-known are the reasons why some computer users choose to make unauthorized copies of computer software. Furthermore, the relationship linking the theory and the practice is unknown, i.e., how the attitudes of ordinary end-users correspond with the theoretical views of computer ethics scholars. In order to fill this gap in the literature, we investigated the moral attitudes of 249 Finnish computing students towards the unauthorized copying of computer software, and (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  2. Design Methodologies and the Limits of the Engineering-Dominated Conception of Synthetic Biology.Tero Ijäs - 2018 - Acta Biotheoretica 67 (1):1-18.
    Synthetic biology is described as a new field of biotechnology that models itself on engineering sciences. However, this view of synthetic biology as an engineering field has received criticism, and both biologists and philosophers have argued for a more nuanced and heterogeneous understanding of the field. This paper elaborates the heterogeneity of synthetic biology by clarifying the role of design and the variability of design methodologies in synthetic biology. I focus on two prominent design methodologies: rational design and directed evolution. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  17
    Exploring Biological Possibility Through Synthetic Biology.Tero Ijäs & Rami Koskinen - 2021 - European Journal for Philosophy of Science 11 (2):1-17.
    This paper analyzes the notion of possibility in biology and demonstrates how synthetic biology can provide understanding on the modal dimension of biological systems. Among modal concepts, biological possibility has received surprisingly little explicit treatment in the philosophy of science. The aim of this paper is to argue for the importance of the notion of biological possibility by showing how it provides both a philosophically and biologically fruitful category as well as introducing a new practically grounded way for its assessment. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  22
    A Meaning Holistic (Dis)Solution of Subject–Object Dualism – its Implications for the Human Sciences.Tero Piiroinen - 2018 - History of the Human Sciences 31 (3):64-82.
    This article presents and analyses a social-practice contextualist version of meaning holism, whose main root lies in American pragmatism. Proposing that beliefs depend on systems of language-use in social practices, which involve communities of people and worldly objects, such meaning holism effectively breaks down the Enlightenment tradition’s philosophical subject–object dualism. It also opens the human mind up for empirical research – in a ‘sociologizing’, ‘anthropologizing’ and ‘historicizing’ vein. The article discusses the implications of this approach for the human sciences, for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  67
    At the Intersection of Sovereignty and Biopolitics: The Di-Polaric Spatializations of Money.Tero Auvinen - 2010 - Foucault Studies 9:5-34.
    The paper explores the incentive structures and the structurally rigid social hierarchies inherent in the polarizing logic of modern credit money and the mutual constitution of money’s sovereign and biopolitical dimensions. It is argued that the monetary system constitutes a major transitory channel for the logic of financial capital to transcend the limitations of sovereign spaces and to transform itself into a biopolitical force. The relationship between the material and the subjective – or the sovereign and the biopolitical – dimensions (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  13
    Social Media, Financial Algorithms and the Hack Crash.Tero Karppi & Kate Crawford - 2016 - Theory, Culture and Society 33 (1):73-92.
    ‘@AP: Breaking: Two Explosions in the White House and Barack Obama is injured’. So read a tweet sent from a hacked Associated Press Twitter account @AP, which affected financial markets, wiping out $136.5 billion of the Standard & Poor’s 500 Index’s value. While the speed of the Associated Press hack crash event and the proprietary nature of the algorithms involved make it difficult to make causal claims about the relationship between social media and trading algorithms, we argue that it helps (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. Design Under Randomness: How Variation Affects the Engineering of Biological Systems.Tero Ijäs - 2018 - Biological Theory 13 (3):153-163.
    Synthetic biology offers a powerful method to design and construct biological devices for human purposes. Two prominent design methodologies are currently used. Rational design adapts the design methodology of traditional engineering sciences, such as mechanical engineering. Directed evolution, in contrast, models its design principles after natural evolution, as it attempts to design and improve systems by guiding them to evolve in a certain direction. Previous work has argued that the primary difference between these two is the way they treat variation: (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  63
    A Simple Model of Secure Public Communication.Hannu Vartiainen - 2009 - Theory and Decision 67 (1):101-122.
    Public communication is secure if a hostile third-party cannot decode the messages exchanged by the communicating parties. In Nash equilibrium, communication by computationally unbounded players cannot be secure. We assume complexity averse players, and show that a simple, secure, and costless communication protocol becomes available as the marginal complexity cost tends to zero.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  20
    Objects and Modalities: A Study in the Semantics of Modal Logic.Tero Tulenheimo - 2017 - Cham, Switzerland: Springer Verlag.
    This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  10.  49
    Unity, Truth and the Liar: The Modern Relevance of Medieval Solutions to the Liar Paradox.Shahid Rahman, Tero Tulenheimo & Emmanuel Genot (eds.) - 2008 - Dordrecht, Netherland: 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 ...
  11.  59
    From Games to Dialogues and Back.Shahid Rahman & Tero Tulenheimo - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 153--208.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  12.  43
    Non-Artificial Non-Intelligence: Amazon’s Alexa and the Frictions of AI.Tero Karppi & Yvette Granata - 2019 - AI and Society 34 (4):867-876.
    This paper examines a case where Amazon’s cloud-based AI assistant Alexa accidentally ordered a dollhouse for a 6-year-old girl. In the press, the case was defined as a technical recognition problem. Building on this idea, we argue that the dollhouse case helps us to analyze the limits of current AI applications. By drawing on the writings of Gilles Deleuze and François Laruelle, we argue that these limits are not merely technical but more deeply embedded in the structures where the thinking (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  28
    Tony D. Sampson: The Assemblage Brain. Sense Making in Neuroculture.Tero Karppi - 2019 - AI and Society 34 (4):945-946.
  14.  36
    Independence Friendly Logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.
  15. Biologinen mahdollisuus ja synteettinen biologia.Tero Ijäs & Rami Koskinen - 2016 - In Ilkka Niiniluoto, Tuomas Tahko & Teemu Toppinen (eds.), Mahdollisuus. Helsinki, Suomi: pp. 79-86.
     
    Export citation  
     
    Bookmark  
  16.  9
    Tony D. Sampson: The Assemblage Brain. Sense Making in Neuroculture.Tero Karppi - 2019 - AI and Society 34 (4):945-946.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 2003 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  17
    Edgar Allan Poe and the Dupin Mysteries.Tero Eljas Vanhanen - 2014 - The European Legacy 19 (4):531-533.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  64
    Remarks on Individuals in Modal Contexts.Tero Tulenheimo - 2009 - Revue Internationale de Philosophie 250 (4):383-394.
  20.  10
    Literature, Analytically Speaking: Explorations in the Theory of Interpretation, Analytic Aesthetics, and Evolution_, And: _Of Literature and Knowledge: Explorations in Narrative Thought Experiments, Evolution, and Game Theory (Review).Tero Eljas Vanhanen - 2012 - Philosophy and Literature 36 (1):265-269.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21.  77
    Between de Dicto and de Re: De Objecto Attitudes.Manuel Rebuschi & Tero Tulenheimo - 2011 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  4
    On IF Modal Logic and its Expressive Power.Tero Tulenheimo - 2003 - In Philippe Balbiani, Nobu-Yuki Suzuki, Frank Wolter & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 4. CSLI Publications. pp. 475-498.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  39
    Toward Pragmatist Methodological Relationalism: From Philosophizing Sociology to Sociologizing Philosophy.Osmo Kivinen & Tero Piiroinen - 2006 - Philosophy of the Social Sciences 36 (3):303-329.
    University of Turku, Finland In this article, relationalist approaches to social sciences are analyzed in terms of a conceptual distinction between "philosophizing sociology" and "sociologizing philosophy." These mark two different attitudes toward philosophical metaphysics and ontological commitments. The authors’ own pragmatist methodological relationalism of Deweyan origin is compared with ontologically committed realist approaches, as well as with Bourdieuan methodological relationalism. It is argued that pragmatist philosophy of social sciences is an appropriate tool for assisting social scientists in their methodological work, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  24.  17
    Classical Negation and Game-Theoretical Semantics.Tero Tulenheimo - 2014 - Notre Dame Journal of Formal Logic 55 (4):469-498.
    Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, while the former (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  52
    The Relevance of Ontological Commitments in Social Sciences: Realist and Pragmatist Viewpoints.Osmo Kivinen & Tero Piiroinen - 2004 - Journal for the Theory of Social Behaviour 34 (3):231–248.
    The article discusses the relevance of ontology, the metaphysical study of being, in social sciences through a comparison of three distinct outlooks: Roy Bhaskar's version of critical realism, a pragmatic realist approach the most renowned representatives of which are Rom Harré and Hilary Putnam, and the authors’ own synthesis of the pragmatist John Dewey's and the neopragmatist Richard Rorty's ideas, here called methodological relationalism. The Bhaskarian critical realism is committed to the heavy ontological furniture of metaphysical transcendentalism, resting on essentialist (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  26.  57
    Negation and Temporal Ontology.Tero Tulenheimo - 2011 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  39
    Worlds, Times and Selves Revisited.Tero Tulenheimo - 2016 - Synthese 193 (11):3713-3725.
    In Prior’s tense-logical analysis, we can avoid mentioning instants in our language by construing them as propositions of a special kind. Instead of qualifying instants by predicates, we may qualify propositions by modalities. Prior shows that by changing the informal interpretation of our modal-like language, we can similarly attempt to avoid ontological commitments to worlds and even to selves and other bona fide individuals. As he notes, the paraphrasing strategy works too generally to be of direct metaphysical use. I wish (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  5
    On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Guido Governatori, Ian Hodkinson & Yde Venema (eds.), Advances in Modal Logic, Volume 6. CSLI Publications. pp. 481-501.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  29.  25
    Information Tools for the Shop-Floor.Jyrki J. J. Kasvi, Matti Vartiainen, Anneli Pulkkis & Marko Nieminen - 1996 - AI and Society 10 (1):26-38.
    New production and work practices set new proficiency requirements for employees in operative organisations. Most of these requirements involve information and communication. We can train and educate people to meet with these challenges and design their physical and information environments to support and facilitate them in their work. New information tools play a central role in this development. But what kind of tools? How to apply these tools to enhance employees’ learning by reflection. In this article we will discuss the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  9
    Introduction: Shifting Attention.Nick Seaver, Tero Karppi & Rebecca Jablonsky - 2022 - Science, Technology, and Human Values 47 (2):235-242.
    In recent years, attention has become a matter of increasing public concern. New digital technologies have transformed human attention materially and discursively, reorganizing perceptual practices and inciting debates about them. The essays in this special issue emerged from a set of panels focused on attention at the 4S conference in New Orleans in 2019. They are all, in various ways, concerned with shifts among attention’s many meanings: between payment and care, instinct and agency, or vulnerability and power. Drawing on Science (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  1
    On Modal Logics, IF Logic, and IF Modal Logic.Tero Tulenheimo & Merlijn Sevenster - 2006 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 481-501.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  86
    Sociologizing Metaphysics and Mind: A Pragmatist Point of View on the Methodology of the Social Sciences. [REVIEW]Osmo Kivinen & Tero Piiroinen - 2007 - Human Studies 30 (2):97 - 114.
    There are realist philosophers and social scientists who believe in the indispensability of social ontology. However, we argue that certain pragmatist outlines for inquiry open more fruitful roads to empirical research than such ontologizing perspectives. The pragmatist conceptual tools in a Darwinian vein—concepts like action, habit, coping and community—are in a particularly stark contrast with, for instance, the Searlean and Chomskian metaphysics of human being. In particular, we bring Searle's realist philosophy of society and mind under critical survey in this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33.  21
    The Evolution of Homo Discens: Natural Selection and Human Learning.Osmo Kivinen & Tero Piiroinen - 2018 - Journal for the Theory of Social Behaviour 48 (1):117-133.
    This article takes an evolutionary “reverse engineering” standpoint on Homo discens, learning man, to track down the mechanisms that played a pivotal role in the natural selection of human being. The approach is “evolutionary sociological”—as opposed to gene-centred or psychologising—and utilises notions of co-evolutionary organism–environment transactions and niche construction. These are compatible with a Deweyan theory of action, which entails that in action one cannot but learn and one can only learn in action. Special attention is paid to apprentice-like learning-by-doing (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  31
    Between de Dicto and de Re: De Objecto Attitudes.Tero Tulenheimo Manuel Rebuschi - 2011 - 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  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Wittgenstein’s “Inner and Outer”: Overcoming Epistemic Asymmetry.Tero Tapio Vaaja - 2013 - Nordic Wittgenstein Review 2 (1):107-130.
    Name der Zeitschrift: Nordic Wittgenstein Review Jahrgang: 2 Heft: 1 Seiten: 107-130.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  36.  81
    On Certainty, Skepticism and Berkeley's Idealism.Tero Vaaja - 2011 - SATS 12 (2):253-265.
    In this paper, I survey the way Wittgenstein reacts to radical philosophical doubt in his On Certainty.He deems skeptical doubt in some important cases idle, pointless or otherwise negligible. I point out that several passages of On Certainty make it difficult to judge whether Wittgenstein intends to address a skeptic or a metaphysical idealist. Drawing attention to the anti-skeptical nature of Berkeley’s idealism, I go on to argue that the question is far from trivial: rather, it affects the way we (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  66
    The Two Faces of Compatibility with Justified Beliefs.Tero Tulenheimo - 2016 - Synthese 193 (1):15-30.
    When discussing knowledge, two relations are of interest: justified doxastic accessibility \ , she is in \ ) and justification equivalence \ exactly the same justified beliefs that she has in \ ). Speaking of compatibility with the agent’s justified beliefs is potentially ambiguous: either of the two relations \ or \ can be meant. I discuss the possibility of identifying the relation of epistemic accessibility \ , she is in \ ) with the union of \ and \ . (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  52
    On the Distinctively Human: Two Perspectives on the Evolution of Language and Conscious Mind.Osmo Kivinen & Tero Piiroinen - 2012 - Journal for the Theory of Social Behaviour 42 (1):87-105.
    In this paper, two alternative naturalistic standpoints on the relations between language, human consciousness and social life are contrasted. The first, dubbed “intrinsic naturalism,” is advocated among others by the realist philosopher John Searle; it starts with intrinsic intentionality and consciousness emerging from the brain, explains language as an outgrowth of consciousness and ends with institutional reality being created by language-use. That standpoint leans on what may be described as the standard interpretation of Darwinian evolution. The other type of naturalism, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Modal Logic of Time Division.Tero Tulenheimo - 2008 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 363-387.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  45
    Hybrid Logic Meets If Modal Logic.Tero Tulenheimo - 2009 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  19
    Johannes Rudbeckius’s View on the Nature of Logic.Tero Tulenheimo - 2018 - Studia Neoaristotelica 15 (2):135-215.
    Johannes Rudbeckius, one of Sweden’s most influential figures in theology, pedagogy, and church-state relations in the 17th century, published two books on logic: Logica ex optimis et præstantissimis autoribus collecta & conscripta and Controversiæ logices vel potius earum epitome. In this paper, I present and critically discuss Rudbeckius’s view on the nature of logic as it can be reconstructed from these two works. This requires, in particular, identifying the larger intellectual framework within which Rudbeckius operated. The single most important philosopher (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. A Formal Framework for Future Contingents.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):79-136.
    In this article, I present a formal semantic framework that renders explicit how to reconcile the condition that a proposition about a contingent future event is true at a moment t0 with the idea that at t0, this proposition is ‘truth-maker indeterminate’: a state of affairs making it true will obtain later on, though no such state of affairs obtains at t0. The semantics I formulate employs ‘open temporal models’. They represent the passage of time by a specific component termed (...)
     
    Export citation  
     
    Bookmark  
  43. Intentionala Objekt: Några Logiska Synpunkter.Tero Tulenheimo - 2013 - Norsk Filosofisk Tidsskrift 48 (3-04):304-313.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. The Truth of Future Contingents: An Analysis of Truth-Maker Indeterminacy.Tero Tulenheimo - 2020 - Filosofiska Notiser 7 (1):53-77.
    I argue that the semantics of sentences expressing future contingent propositions is best viewed as being based on a clear distinction between a time at which a proposition is true and a time at which a state of affairs that makes it true gets actualized. That a prediction is true here and now means that its truth-maker gets actualized later. This is not to say that if a contingent proposition p concerning the future is true at t, it acquires the (...)
     
    Export citation  
     
    Bookmark  
  45.  24
    Johannes Rudbeckius’s Conclusio Collegii Logici.Tero Tulenheimo - 2017 - Studia Neoaristotelica 14 (2):189-208.
    Propono hic conversionem in linguam Anglicam conclusionis Collegii Logici, anno 1608–1609 semestri studiorum spatio hiberno a Johanne Rudbeckio Wittenbergæ habiti. Hic commentarius prooemium in conversionem est. Rudbeckius primus Suecus erat, qui librum didacticum de logica publicavit. Maiorem partem libri iam anno 1606 scripserat, cum Mathesis Professor Upsaliensis esset, sed Logica ex optimis et præstantissimis autoribus collecta & conscripta non ante annum 1625 edita sit. Cum Johanne Canuti Lenæo, collega suo, Rudbeckius primas partes agebat in inducenda in Sueciam scholastica Lutherana, cuius (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  27
    IF Modal Logic and Classical Negation.Tero Tulenheimo - 2014 - 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 (4 more)  
     
    Export citation  
     
    Bookmark  
  47.  19
    Sur les « opérateurs rétrogrades ».Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):145-160.
    A logic of ‘backwards-looking operators’ is defined using semantical games, played on models with two dimensions, one for time and another for epistemic scenarios. It is shown that the expressive power of OR is greater than that of basic logic of propositional attitudes . Furthermore, it is established that the expressive powers of OR and the hybrid logic AL + ↓ + @ coincide. In conclusion, the theoretical interest of backwards-looking operators is briefly discussed.RésuméUne logique d’« opérateurs rétrogrades » est (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  17
    Sur les « opérateurs rétrogrades ».Tero Tulenheimo - 2004 - Philosophia Scientae 8:145-160.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  10
    Modal Logic of Time Division.Tero Tulenheimo - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 363-387.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  14
    Introduction - Des Jeux en logique.Manuel Rebuschi & Tero Tulenheimo - 2004 - Philosophia Scientiae 8 (2):1-14.
1 — 50 / 64