1,721,062 research outputs found
Valentin Goranko, Temporal Logics, Cambridge University Press, Cambridge, 2023, pp. 75.
Full text linkIn questa Lettura Critica viene analizzato Temporal Logics, di Valentin Goranko. L’opera viene inquadrata nella collana di cui è parte e nella letteratura esistente sull’argomento. Viene brevemente esposto e commentato il contenuto del libro, cercando di metterne in luce i meriti e comprenderne le scelte. Il pregio principale del volume è quello di fornire al filosofo non ancora esperto di logica temporale una valida guida introduttiva all’argomento, oltre che una panoramica sui numerosi sviluppi e direzioni della ricerca recente su di esso.This critical reading analyzes the book “Temporal Logics”, by Valentin Goranko. The work is contextualized within the series of which it is a part and within the existing literature on the topic. The content of the book is briefly presented and commented on, with the goal of shedding light on its merits and understand its choices. The main strength of the volume is that of providing to the philosopher who is not yet familiar with temporal logic a worthy introductory guide on the topic, as well as an overview of the numerous developments and directions of the recent research on the subject
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
No full textWe construct a sound, complete, and terminating tableau system for the interval temporal logic Dsquare subset. interpreted in interval structures over dense linear orderings endowed with strict subinterval relation (where both endpoints of the sub-interval are strictly inside the interval). In order to prove the soundness and completeness of our tableau construction, we introduce a kind of finite pseudo-models for our logic, called Dsquare subset-structures, and show that every formula satisfiable in Dsquare subset is satisfiable in such pseudo-models, thereby proving small-model property and decidability in PSPACE of Dsquare subset, a result established earlier by Shapirovsky and Shehtman by means of filtration. We also show how to extend our results to the interval logic Dsquare subset interpreted over dense interval structures with proper (irreflexive) subinterval relation, which differs substantially from Dsquare subset and is generally more difficult to analyze. Up to our knowledge, no complete deductive systems and decidability results for Dsquare subset have been proposed in the literature so far
Undecidability of Interval Temporal Logics with the Overlap Modality
No full textWe investigate fragments of Halpern-Shoham's interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these fragments are undecidable, by employing a non-trivial reduction from the octant tiling problem
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
No full textInterval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues for Propositional Neighborhood Logics (PNLs). We begin by comparing the expressiveness of the different PNLs. Then, we focus on the most expressive one, namely, PNL^PI_+, and we show that it is decidable over various classes of linear orders by reducing its satisfiability problem to that of the two-variable fragment of first-order logic with binary relations over linearly ordered domains, due to Otto. Next, we prove that PNL^Pi_+ is expressively complete with respect to such a fragment. We conclude the paper by comparing PNL^Pi_+ expressiveness with that of other interval-based temporal logics
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers
No full textFront Matter, Table of Contents, Preface, Conference Organization, External Reviewer
Hierarchies of Modal and Temporal Logics with Reference Pointers
Full text linkAbstract. We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: "point of reference- reference pointer " which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. Thelanguages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and Stavi's temporal operators, aswell as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended tosome classes of their extensions
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
