Results for 'Kentaro Ishibashi'

107 found
Order:
  1. Neural Correlates Predicting Lane-Keeping and Hazard Detection: An fMRI Study Featuring a Pedestrian-Rich Simulator Environment.Kentaro Oba, Koji Hamada, Azumi Tanabe-Ishibashi, Fumihiko Murase, Masaaki Hirose, Ryuta Kawashima & Motoaki Sugiura - 2022 - Frontiers in Human Neuroscience 16.
    Distracted attention is considered responsible for most car accidents, and many functional magnetic resonance imaging researchers have addressed its neural correlates using a car-driving simulator. Previous studies, however, have not directly addressed safe driving performance and did not place pedestrians in the simulator environment. In this fMRI study, we simulated a pedestrian-rich environment to explore the neural correlates of three types of safe driving performance: accurate lane-keeping during driving, the braking response to a preceding car, and the braking response to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  54
    Imitation, Inspiration, and Creation: Cognitive Process of Creative Drawing by Copying Others' Artworks.Takeshi Okada & Kentaro Ishibashi - 2017 - Cognitive Science 41 (7):1804-1837.
    To investigate the cognitive processes underlying creative inspiration, we tested the extent to which viewing or copying prior examples impacted creative output in art. In Experiment 1, undergraduates made drawings under three conditions: copying an artist's drawing, then producing an original drawing; producing an original drawing without having seen another's work; and copying another artist's work, then reproducing that artist's style independently. We discovered that through copying unfamiliar abstract drawings, participants were able to produce creative drawings qualitatively different from the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  83
    Classes and Truths in Set Theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
    This article studies three most basic systems of truth as well as their subsystems over set theory ZF possibly with AC or the axiom of global choice GC, and then correlates them with subsystems of Morse–Kelley class theory MK. The article aims at making an initial step towards the axiomatic study of truth in set theory in connection with class theory. Some new results on the side of class theory, such as conservativity, forcing and some forms of the reflection principle, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  4. Relative Truth Definability of Axiomatic Truth Theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
    The present paper suggests relative truth definability as a tool for comparing conceptual aspects of axiomatic theories of truth and gives an overview of recent developments of axiomatic theories of truth in the light of it. We also show several new proof-theoretic results via relative truth definability including a complete answer to the conjecture raised by Feferman in [13].
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  5.  50
    Understanding Self-Control as a Whole Vs. Part Dynamic.Kentaro Fujita, Jessica J. Carnevale & Yaacov Trope - 2018 - Neuroethics 11 (3):283-296.
    Although dual-process or divided-mind models of self-control dominate the literature, they suffer from empirical and conceptual challenges. We propose an alternative approach, suggesting that self-control can be characterized by a fragmented part versus integrated whole dynamic. Whereas responses to events derived from fragmented parts of the mind undermine self-control, responses to events derived from integrated wholes enhance self-control. We review empirical evidence from psychology and related disciplines that support this model. We, moreover, discuss the implications of this work for psychology, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  6.  58
    Deflationism Beyond Arithmetic.Kentaro Fujimoto - 2019 - Synthese 196 (3):1045-1069.
    The conservativeness argument poses a dilemma to deflationism about truth, according to which a deflationist theory of truth must be conservative but no adequate theory of truth is conservative. The debate on the conservativeness argument has so far been framed in a specific formal setting, where theories of truth are formulated over arithmetical base theories. I will argue that the appropriate formal setting for evaluating the conservativeness argument is provided not by theories of truth over arithmetic but by those over (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  7.  22
    The Function of Truth and the Conservativeness Argument.Kentaro Fujimoto - 2022 - Mind 131 (521):129-157.
    Truth is often considered to be a logico-linguistic tool for expressing indirect endorsements and infinite conjunctions. In this article, I will point out another logico-linguistic function of truth: to enable and validate what I call a blind argument, namely, an argument that involves indirectly endorsed statements. Admitting this function among the logico-linguistic functions of truth has some interesting consequences. In particular, it yields a new type of so-called conservativeness argument, which poses a new type of threat to deflationism about truth.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  33
    An On‐Line Study of Japanese Nesting Complexity.Kentaro Nakatani & Edward Gibson - 2010 - Cognitive Science 34 (1):94-112.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  17
    A Note on Predicative Ordinal Analysis I: Iterated Comprehension and Transfinite Induction.Sato Kentaro - 2019 - Journal of Symbolic Logic 84 (1):226-265.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  13
    Ordinal analyses for monotone and cofinal transfinite inductions.Kentaro Sato - 2020 - Archive for Mathematical Logic 59 (3-4):277-291.
    We consider two variants of transfinite induction, one with monotonicity assumption on the predicate and one with the induction hypothesis only for cofinally many below. The latter can be seen as a transfinite analogue of the successor induction, while the usual transfinite induction is that of cumulative induction. We calculate the supremum of ordinals along which these schemata for \ formulae are provable in \. It is shown to be larger than the proof-theoretic ordinal \ by power of base 2. (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  11.  12
    Product and Process Design Support Based on `COTO^|^Apos; Database.Kentaro Watanabe, Takuichi Nishimura, Yoichi Motomura & Masaaki Mochimaru - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (1):383-392.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  8
    Cue Integration as a Common Mechanism for Action and Outcome Bindings.Kentaro Yamamoto - 2020 - Cognition 205:104423.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  18
    From Hierarchies to Well-Foundedness.Dandolo Flumini & Kentaro Sato - 2014 - Archive for Mathematical Logic 53 (7-8):855-863.
    We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies have been extensively studied, we point out that well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting α⊢wfwhereα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${_\alpha \vdash \mathsf{wf}\, {\rm where}\, _\alpha}$$\end{document} stands for the iteration of Π10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  14.  28
    Truths, Inductive Definitions, and Kripke-Platek Systems Over Set Theory.Kentaro Fujimoto - 2018 - Journal of Symbolic Logic 83 (3):868-898.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  15.  73
    Predicativism About Classes.Kentaro Fujimoto - 2019 - Journal of Philosophy 116 (4):206-229.
    Classes are the objects of the second sort of second-order set theory. They have sets as their members and behave like sets, but paradoxes tell us that many classes cannot be sets. Then, what are classes? Predicativism about classes suggests that classes are predicates of sets, and this article investigates the question from the predicativist point of view in light of recent developments in the use of classes in set theory. Predicativism has been considered too restrictive and unable to accommodate (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  12
    Full and Hat Inductive Definitions Are Equivalent in NBG.Kentaro Sato - 2015 - Archive for Mathematical Logic 54 (1-2):75-112.
    A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA0, those in second order set theory extending NBG are. In this article, we establish the equivalence between Δ01-LFP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-LFP}}$$\end{document} and Δ01-FP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta^1_0\mbox{\bf-FP}}$$\end{document}, which assert the existence of a least and of a fixed point, respectively, for positive elementary operators. Our proof also shows (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  44
    Autonomous Progression and Transfinite Iteration of Self-Applicable Truth.Kentaro Fujimoto - 2011 - Journal of Symbolic Logic 76 (3):914 - 945.
    This paper studies several systems of the transfinite iteration and autonomous progression of self-applicable truth and determines their proof-theoretic strength.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  13
    Teaching Others Rule-Use Improves Executive Function and Prefrontal Activations in Young Children.Yusuke Moriguchi, Yoko Sakata, Mikako Ishibashi & Yusuke Ishikawa - 2015 - Frontiers in Psychology 6.
  19.  32
    A New Model Construction by Making a Detour Via Intuitionistic Theories I: Operational Set Theory Without Choice is Π 1 -Equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.
  20.  14
    Elementary Inductive Dichotomy: Separation of Open and Clopen Determinacies with Infinite Alternatives.Kentaro Sato - 2020 - Annals of Pure and Applied Logic 171 (3):102754.
    We introduce a new axiom called inductive dichotomy, a weak variant of the axiom of inductive definition, and analyze the relationships with other variants of inductive definition and with related axioms, in the general second order framework, including second order arithmetic, second order set theory and higher order arithmetic. By applying these results to the investigations on the determinacy axioms, we show the following. (i) Clopen determinacy is consistency-wise strictly weaker than open determinacy in these frameworks, except second order arithmetic; (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  3
    Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.Kentaro Sato - 2022 - Archive for Mathematical Logic 61 (3):399-435.
    In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it to (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  22.  26
    The Strength of Extensionality I—Weak Weak Set Theories with Infinity.Kentaro Sato - 2009 - Annals of Pure and Applied Logic 157 (2-3):234-268.
    We measure, in the presence of the axiom of infinity, the proof-theoretic strength of the axioms of set theory which make the theory look really like a “theory of sets”, namely, the axiom of extensionality Ext, separation axioms and the axiom of regularity Reg . We first introduce a weak weak set theory as a base over which to clarify the strength of these axioms. We then prove the following results about proof-theoretic ordinals:1. and ,2. and . We also show (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  28
    The Strength of Extensionality II—Weak Weak Set Theories Without Infinity.Kentaro Sato - 2011 - Annals of Pure and Applied Logic 162 (8):579-646.
    By obtaining several new results on Cook-style two-sorted bounded arithmetic, this paper measures the strengths of the axiom of extensionality and of other weak fundamental set-theoretic axioms in the absence of the axiom of infinity, following the author’s previous work [K. Sato, The strength of extensionality I — weak weak set theories with infinity, Annals of Pure and Applied Logic 157 234–268] which measures them in the presence. These investigations provide a uniform framework in which three different kinds of reverse (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24.  8
    Understanding Why Children Commit Scale Errors: Scale Error and Its Relation to Action Planning and Inhibitory Control, and the Concept of Size.Mikako Ishibashi & Yusuke Moriguchi - 2017 - Frontiers in Psychology 8.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  12
    Relative Predicativity and Dependent Recursion in Second-Order Set Theory and Higher-Order Theories.Sato Kentaro - 2014 - Journal of Symbolic Logic 79 (3):712-732.
    This article reports that some robustness of the notions of predicativity and of autonomous progression is broken down if as the given infinite total entity we choose some mathematical entities other than the traditionalω. Namely, the equivalence between normal transfinite recursion scheme and newdependent transfinite recursionscheme, which does hold in the context of subsystems of second order number theory, does not hold in the context of subsystems of second order set theory where the universeVof sets is treated as the given (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  8
    Ming-Qing Studies in Japan: 1984.Ishibashi Takao - 1989 - Chinese Studies in History 22 (1-2):29-41.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  7
    Raise Two Effects with One Scene: Scene Contexts Have Two Separate Effects in Visual Working Memory of Target Faces.Azumi Tanabe-Ishibashi, Takashi Ikeda & Naoyuki Osaka - 2014 - Frontiers in Psychology 5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28.  16
    A New Model Construction by Making a Detour Via Intuitionistic Theories II: Interpretability Lower Bound of Feferman's Explicit Mathematics T 0.Kentaro Sato - 2015 - Annals of Pure and Applied Logic 166 (7-8):800-835.
  29.  30
    Kentaro Fukumoto, Nihon No Kokkai Seizi: Zen Seifu Rippo No Bunseki (Politics in the Japanese Diet: A Statistical Analysis of Postwar Government Legislation) Tokyo: University of Tokyo Press, 2000.Okiyoshi Takeda - 2002 - Japanese Journal of Political Science 3 (1):139-150.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30.  25
    Forcing Under Anti‐Foundation Axiom: An Expression of the Stalks.Sato Kentaro - 2006 - Mathematical Logic Quarterly 52 (3):295-314.
    We introduce a new simple way of defining the forcing method that works well in the usual setting under FA, the Foundation Axiom, and moreover works even under Aczel's AFA, the Anti-Foundation Axiom. This new way allows us to have an intuition about what happens in defining the forcing relation. The main tool is H. Friedman's method of defining the extensional membership relation ∈ by means of the intensional membership relation ε .Analogously to the usual forcing and the usual generic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  31.  21
    Reconsidering the Philosophy of Physical Education.Kentaro Tai - 2013 - Journal of the Philosophy of Sport and Physical Education 35 (1):51-59.
  32.  11
    In Pursuit of Accurate Timekeeping: Liverpool and Victorian Electrical Horology.Yuto Ishibashi - 2014 - Annals of Science 71 (4):474-496.
    SummaryThis paper explores how nineteenth-century Liverpool became such an advanced city with regard to public timekeeping, and the wider impact of this on the standardisation of time. From the mid-1840s, local scientists and municipal bodies in the port city were engaged in improving the ways in which accurate time was communicated to ships and the general public. As a result, Liverpool was the first British city to witness the formation of a synchronised clock system, based on an invention by Robert (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  64
    Proper Semantics for Substructural Logics, From a Stalker Theoretic Point of View.Sato Kentaro - 2008 - Studia Logica 88 (2):295-324.
    We study filters in residuated structures that are associated with congruence relations (which we call -filters), and develop a semantical theory for general substructural logics based on the notion of primeness for those filters. We first generalize Stone’s sheaf representation theorem to general substructural logics and then define the primeness of -filters as being “points” (or stalkers) of the space, the spectrum, on which the representing sheaf is defined. Prime FL-filters will turn out to coincide with truth sets under various (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  11
    A Marriage of Brouwer’s Intuitionism and Hilbert’s Finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.
    We investigate which part of Brouwer’s Intuitionistic Mathematics is finitistically justifiable or guaranteed in Hilbert’s Finitism, in the same way as similar investigations on Classical Mathematics already done quite extensively in proof theory and reverse mathematics. While we already knew a contrast from the classical situation concerning the continuity principle, more contrasts turn out: we show that several principles are finitistically justifiable or guaranteed which are classically not. Among them are: fan theorem for decidable fans but arbitrary bars; continuity principle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  10
    Divination in Contemporary Japan: A General Overview and an Analysis of Survey Results.Kentaro Suzuki - 1995 - Japanese Journal of Religious Studies 22 (3-4).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  14
    On the Logicality of Truth.Kentaro Fujimoto - forthcoming - Philosophical Quarterly.
    Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  72
    Notes on Some Second-Order Systems of Iterated Inductive Definitions and Π 1 1 -Comprehensions and Relevant Subsystems of Set Theory. [REVIEW]Kentaro Fujimoto - 2015 - Annals of Pure and Applied Logic 166 (4):409-463.
  38.  25
    Evaluation of Human Impressions Regarding Sizzle Words for Rice Crackers.Ken Ishibashi, So Fukataki & Kazunori Miyata - 2015 - Transactions of the Japanese Society for Artificial Intelligence 30 (1):229-236.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  13
    Keeping an Eye on the Conductor: Neural Correlates of Visuo-Motor Synchronization and Musical Experience.Kentaro Ono, Akinori Nakamura & Burkhard Maess - 2015 - Frontiers in Human Neuroscience 9.
  40.  10
    Yulia Frumer. Making Time: Astronomical Time Measurement in Tokugawa Japan. 272 Pp., Figs., Notes, Bibl., Index. Chicago/London: University of Chicago Press, 2018. $45 . ISBN 9780226516448. [REVIEW]Yuto Ishibashi - 2019 - Isis 110 (1):207-208.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  17
    Double Helix in Large Large Cardinals and Iteration of Elementary Embeddings.Kentaro Sato - 2007 - Annals of Pure and Applied Logic 146 (2):199-236.
    We consider iterations of general elementary embeddings and, using this notion, point out helices of consistency-wise implications between large large cardinals.Up to now, large cardinal properties have been considered as properties which cannot be accessed by any weaker properties and it has been known that, with respect to this relation, they form a proper hierarchy. The helices we point out significantly change this situation: the same sequence of large cardinal properties occurs repeatedly, changing only the parameters.As results of our investigation (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  14
    The Expression of 'Putting'and 'Taking'events in Japanese.Miyuki Ishibashi - 2012 - In Anetta Kopecka & Bhuvana Narasimhan (eds.), Events of "Putting" and "Taking": A Crosslinguistic Perspective. John Benjamins. pp. 100--253.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  5
    Constructing the ‘Automatic’ Greenwich Time System: George Biddell Airy and the Telegraphic Distribution of Time, C.1852–1880.Yuto Ishibashi - 2020 - British Journal for the History of Science 53 (1):25-46.
    In the context of the telegraphic distribution of Greenwich time, while the early experiments, the roles of successive Astronomers Royal in its expansion, and its impacts on the standardization of time in Victorian Britain have all been evaluated, the attempts of George Biddell Airy and his collaborators in constructing the Royal Observatory's time signals as the authoritative source of standard time have been underexplored within the existing historical literature. This paper focuses on the wide-ranging activities of Airy, his assistant astronomers, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  1
    The Automorphism Group of the Fraïssé Limit of Finite Heyting Algebras.Kentarô Yamamoto - forthcoming - Journal of Symbolic Logic:1-12.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  4
    Call-by-Name Reduction and Cut-Elimination in Classical Logic.Kentaro Kikuchi - 2008 - Annals of Pure and Applied Logic 153 (1-3):38-65.
    We present a version of Herbelin’s image-calculus in the call-by-name setting to study the precise correspondence between normalization and cut-elimination in classical logic. Our translation of λμ-terms into a set of terms in the calculus does not involve any administrative redexes, in particular η-expansion on μ-abstraction. The isomorphism preserves β,μ-reduction, which is simulated by a local-step cut-elimination procedure in the typed case, where the reduction system strictly follows the “ cut=redex” paradigm. We show that the underlying untyped calculus is confluent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46.  6
    Three-Dimensional Reconstruction of the Atomic Arrangement of Icosahedral Quasicrystals by Binary Discrete Tomography.Y. Ishibashi, H. Sugiura, K. Saitoh & N. Tanaka - 2011 - Philosophical Magazine 91 (19-21):2519-2527.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  31
    Effects of Categorical Speech Perception During Active Discrimination of Stop-Consonants and Vowels Within the Left Superior Temporal Cortex.Altmann Christian, Uesaki Maiko, Ono Kentaro, Matsuhashi Masao, Mima Tatsuya & Fukuyama Hidenao - 2015 - Frontiers in Human Neuroscience 9.
  48.  5
    New Traffic Conflict Measure Based on a Potential Outcome Model.Kentaro Yamada & Manabu Kuroki - 2019 - Journal of Causal Inference 7 (1).
    A key issue in the analysis of traffic accidents is to quantify the effectiveness of a given evasive action taken by a driver to avoid crashing. Since 1977, the widely accepted definition for this effectiveness measure, which is called traffic conflict, has been “the risk of a collision if the driver movement remains unchanged.” Although the definition is expressed counterfactually, the full power of counterfactual analysis was not utilized. In this paper, we propose a counterfactual measure of traffic conflict called (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  3
    Correspondence, Canonicity, and Model Theory for Monotonic Modal Logics.Kentarô Yamamoto - 2020 - Studia Logica 109 (2):397-421.
    We investigate the role of coalgebraic predicate logic, a logic for neighborhood frames first proposed by Chang, in the study of monotonic modal logics. We prove analogues of the Goldblatt–Thomason theorem and Fine’s canonicity theorem for classes of monotonic neighborhood frames closed under elementary equivalence in coalgebraic predicate logic. The elementary equivalence here can be relativized to the classes of monotonic, quasi-filter, augmented quasi-filter, filter, or augmented filter neighborhood frames, respectively. The original, Kripke-semantic versions of the theorems follow as a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  4
    Counterfactual-Based Prevented and Preventable Proportions.Kentaro Yamada & Manabu Kuroki - 2017 - Journal of Causal Inference 5 (2).
    Prevented and preventable fractions have been widely used in medical science to evaluate the proportion of new diseases that can be averted by a protective exposure. However, most existing formulas used in practical situations cannot be interpreted as proportions without any further assumptions because they are obtained according to different target populations and may fall outside the range.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 107