41 found
Order:
  1.  91
    Vicarious liability: a solution to a problem of AI responsibility?Matteo Pascucci & Daniela Glavaničová - 2022 - Ethics and Information Technology 24 (3):1-11.
    Who is responsible when an AI machine causes something to go wrong? Or is there a gap in the ascription of responsibility? Answers range from claiming there is a unique responsibility gap, several different responsibility gaps, or no gap at all. In a nutshell, the problem is as follows: on the one hand, it seems fitting to hold someone responsible for a wrong caused by an AI machine; on the other hand, there seems to be no fitting bearer of responsibility (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Making Sense of Vicarious Responsibility: Moral Philosophy Meets Legal Theory.Daniela Glavaničová & Matteo Pascucci - 2024 - Erkenntnis 89:107-128.
    Vicarious responsibility is a notoriously puzzling notion in normative reasoning. In this article we will explore two fundamental issues, which we will call the “explication problem” and the “justification problem”. The former issue concerns how vicarious responsibility can plausibly be defined in terms of other normative concepts. The latter issue concerns how ascriptions of vicarious responsibility can be justified. We will address these two problems by combining ideas taken from legal theory and moral philosophy. Our analysis will emphasise the importance (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  80
    Duty and Sacrifice: A Logical Analysis of the Mīmāṃsā Theory of Vedic Injunctions.Elisa Freschi, Andrew Ollett & Matteo Pascucci - 2019 - History and Philosophy of Logic 40 (4):323-354.
    The Mīmāṃsā school of Indian philosophy has for its main purpose the interpretation of injunctions that are found in a set of sacred texts, the Vedas. In their works, Mīmāṃsā authors provide some of the most detailed and systematic examinations available anywhere of statements with a deontic force; however, their considerations have generally not been registered outside of Indological scholarship. In the present article we analyze the Mīmāṃsā theory of Vedic injunctions from a logical and philosophical point of view. The (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4. The Machine Scenario: A Computational Perspective on Alternative Representations of Indeterminism.Vincent Grandjean & Matteo Pascucci - 2020 - Minds and Machines 31 (1):59-74.
    In philosophical logic and metaphysics there is a long-standing debate around the most appropriate structures to represent indeterministic scenarios concerning the future. We reconstruct here such a debate in a computational setting, focusing on the fundamental difference between moment-based and history-based structures. Our presentation is centered around two versions of an indeterministic scenario in which a programmer wants a machine to perform a given task at some point after a specified time. One of the two versions includes an assumption about (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  39
    Deontic Concepts and Their Clash in Mīmāṃsā: Towards an Interpretation.Elisa Freschi & Matteo Pascucci - 2021 - Theoria 87 (3):659-703.
    The article offers an overview of the deontic theory developed by the philosophical school of Mīmāṃsā, which is, and has been since the last centuries BCE, the main source of normative concepts in Sanskrit thought. Thus, the Mīmāṃsā deontics is interesting for any historian of philosophy and constitutes a thought-provoking occasion to rethink deontic concepts, taking advantage of centuries of systematic reflections on these topics. Some comparison with notions currently used in Euro-American normative theories and metaethical principles is offered in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  37
    An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.
    The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (Quarc), a recently introduced logical system whose main aim is capturing the structure of natural language sentences in a closer way than does the language of classical logic. The main contribution is an axiomatization for the set of formulas that are valid in all standard interpretations within the employed semantics.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  20
    Disentangling deontic positions and abilities: a modal analysis.Giovanni Sileno & Matteo Pascucci - 2020 - In Giovanni Sileno & Matteo Pascucci (eds.), Proceedings of CILC 2020. CEUR Workshop Proceedings. pp. 36-50.
    Computational systems are traditionally approached from control-oriented perspectives; however, as soon as we move from centralized to decentralized computational infrastructures, direct control needs to be replaced by distributed coordination mechanisms that are on par with institutional constructs observable in human societies (contracts, agreements, enforcement mechanisms, etc.). This paper presents a formalization of Hohfeld's framework building upon a logic whose language includes primitive operators of ability and parametric deontic operators. The proposal is meant to highlight the fundamental interaction between deontic and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  33
    Formal analysis of responsibility attribution in a multimodal framework.Daniela Glavaničová & Matteo Pascucci - 2019 - In Daniela Glavaničová & Matteo Pascucci (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. Springer. pp. 36-51.
    The present article is devoted to a logical treatment of some fundamental concepts involved in responsibility attribution. We specify a theoretical framework based on a language of temporal deontic logic with agent-relative operators for deliberate causal contribution. The framework is endowed with a procedure to solve normative conflicts which arise from the assessment of different normative sources. We provide a characterization result for a basic system within this framework and illustrate how the concepts formalized can be put at work in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  21
    Automated reasoning in normative detachment structures with ideal conditions.Tomer Libal & Matteo Pascucci - 2019 - In Tomer Libal & Matteo Pascucci (eds.), ICAIL: International Conference on Artificial Intelligence and Law. ACM. pp. 63-72.
    In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way. The structure exploits the deductive properties of a system of bimodal logic able to distinguish between ideal and actual normative statements, as well as a novel formalization of conditional normative statements able to capture interesting cases of contrary-to-duty reasoning and to avoid deontic paradoxes. Furthermore, we illustrate (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  41
    Alternative semantics for normative reasoning with an application to regret and responsibility.Daniela Glavaničová & Matteo Pascucci - 2021 - Logic and Logical Philosophy 30 (4):653-679.
    We provide a fine-grained analysis of notions of regret and responsibility (such as agent-regret and individual responsibility) in terms of a language of multimodal logic. This language undergoes a detailed semantic analysis via two sorts of models: (i) relating models, which are equipped with a relation of propositional pertinence, and (ii) synonymy models, which are equipped with a relation of propositional synonymy. We specify a class of strictly relating models and show that each synonymy model can be transformed into an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  40
    Correctness and Completeness of Programming Instructions for Traffic Circulation.Daniela Glavaničová & Matteo Pascucci - 2021 - Science and Engineering Ethics 27 (6):1-16.
    In the present article we exploit the logical notions of correctness and completeness to provide an analysis of some fundamental problems that can be encountered by a software developer when transforming norms for traffic circulation into programming instructions. Relying on this analysis, we then introduce a question and answer procedure that can be helpful, in case of an accident, to clarify which components of an existing framework should be revised and to what extent software developers can be held responsible.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  21
    The search for symmetry in Hohfeldian modalities.Matteo Pascucci & Giovanni Sileno - 2021 - In Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo & Petrucio Viana (eds.), Diagrammatic Representation and Inference. 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings. Springer. pp. 87-102.
    In this work we provide an analysis of some issues arising with geometrical representations of a family of deontic and potestative relations that can be classified as Hohfeldian modalities, traditionally illustrated on two diagrams, the Hohfeldian squares. Our main target is the lack of symmetry to be found in various formal accounts by drawing analogies with the square of opposition for alethic modalities. We argue that one should rather rely on an analogy with the alethic hexagon of opposition and exploit (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  28
    A realistic view on normative conflicts.Daniela Glavaničová & Matteo Pascucci - 2020 - Logic and Logical Philosophy 29 (3):447-462.
    Kulicki and Trypuz (2016) introduced three systems of multivalued deontic action logic to handle normative conflicts. The first system suggests a pessimistic view on normative conflicts, according to which any conflicting option represents something forbidden; the second system suggests an optimistic view, according to which any conflicting option represents something obligatory; finally, the third system suggests a neutral view, according to which any conflicting option represents something that is neither obligatory nor forbidden. The aim of the present paper is to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  52
    Two Temporal Logics of Contingency.Matteo Pascucci - 2015 - Australasian Journal of Logic 12 (2):121-134.
    This work concerns the use of operators for past and future contingency in Priorean temporal logic. We will develop a system named C_t, whose language includes a propositional constant and prove that (I) C_t is complete with respect to a certain class of general frames and (II) the usual operators for past and future necessity are definable in such system. Furthermore, we will introduce the extension C_t(lin) that can be interpreted on linear and transitive general frames. The theoretical result of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  14
    Introduction temporal reasoning and tensed truths.Vincent Grandjean & Matteo Pascucci - 2024 - Synthese 204 (1):1-5.
    This topical collection is dedicated to the formal representation of arguments involving temporal reasoning and tensed truths; in particular, arguments with a clear significance to everyday life. In a broad perspective, temporal reasoning can be rigorously encoded via intensional logic, treating tenses as modalities, or via extensional logic, quantifying over domains of temporal objects (e.g., instants, intervals, etc.). Nowadays there are several formal devices (languages, systems, semantics, etc.) able to deal with time in many regards. Each of these devices is (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  36
    Hyperintensional models for non-congruential modal logics.Matteo Pascucci & Igor Sedlár - forthcoming - Logic Journal of the IGPL.
    In this work, we illustrate applications of a semantic framework for non-congruential modal logic based on hyperintensional models. We start by discussing some philosophical ideas behind the approach; in particular, the difference between the set of possible worlds in which a formula is true (its intension) and the semantic content of a formula (its hyperintension), which is captured in a rigorous way in hyperintensional models. Next, we rigorously specify the approach and provide a fundamental completeness theorem. Moreover, we analyse examples (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  24
    Anderson’s Restriction of Deontic Modalities to Contingent Propositions.Matteo Pascucci - 2017 - Theoria 83 (4):440-470.
    The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. Anderson’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  31
    A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations.Kees van Berkel, Timothy Lyon & Matteo Pascucci - 2023 - Journal of Philosophical Logic 52 (5):1475 - 1516.
    This article proposes the use of temporal logic for an analysis of instrumentality inspired by the work of G.H. von Wright. The first part of the article contains the philosophical foundations. We discuss von Wright’s general theory of agency and his account of instrumentality. Moreover, we propose several refinements to this framework via rigorous definitions of the core notions involved. In the second part, we develop a logical system called Temporal Logic of Action and Expectations (TLAE). The logic is inspired (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Normative parties in subject position and in object position.Tereza Novotná & Matteo Pascucci - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 147-164.
    We analyze some normative relations as instances of a general schema of relations among a finite number of parties; in this schema parties can play various roles grouped into two main conceptual layers, called 'subject position' and 'object position'. Relying on the theoretical apparatus introduced, we develop a new symbolic representation for normative reasoning which constitutes an alternative to approaches available in the literature. Our contribution includes a semantic characterization for a series of logical systems built over the proposed framework.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  19
    Assisted normative reasoning with Aristotelian diagrams.Kathrin Hanauer, Tereza Novotná & Matteo Pascucci - 2023 - In Giovanni Sileno, Jerry Spanakis & Gijs van Dijck (eds.), Legal Knowledge and Information Systems. Proceedings of JURIX 2023. IOS Press. pp. 89-94.
    We design a framework for assisted normative reasoning based on Aristotelian diagrams and algorithmic graph theory which can be employed to address heterogeneous tasks of deductive reasoning. Here we focus on two problems of normative determination: we show that the algorithms used to address these problems are computationally efficient and their operations are traceable by humans. Finally, we discuss an application of our framework to a scenario regulated by the GDPR.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  31
    A formal, diagrammatic, and operational study of normative relations.Matteo Pascucci & Giovanni Sileno - 2023 - Journal of Logic and Computation 33 (4):764-795.
    In this work, we provide an extensive analysis of Hohfeld’s theory of normative relations, focusing in particular on diagrammatic structures. Our contribution is threefold. First, we specify an extensional formal language to represent the main notions in the two families of normative relations identified by Hohfeld (i.e. the deontic and the potestative family). Our primary focus is on the part of the theory concerning potestative relations. In this regard, we assign a key role to the concept of ability, which is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  55
    Generalizing Deontic Action Logic.Alessandro Giordani & Matteo Pascucci - 2022 - Studia Logica 110 (4):989-1033.
    We introduce a multimodal framework of deontic action logic which encodes the interaction between two fundamental procedures in normative reasoning: conceptual classification and deontic classification. The expressive power of the framework is noteworthy, since it combines insights from agency logic and dynamic logic, allowing for a representation of many kinds of normative conflicts. We provide a semantic characterization for three axiomatic systems of increasing strength, showing how our approach can be modularly extended in order to get different levels of analysis (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  3
    Modal categorical inferences in Quarc.Simon Vonlanthen & Matteo Pascucci - 2024 - In Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald & Diedrich Wolter (eds.), Proceedings of FCR-2024. CEUR. pp. 48-59.
    We investigate basic forms of inference involving modal notions and quantifiers, called modal categorical inferences. We do so by extending Quarc, a novel logic that assigns a primary role to quantified phrases, with modalities from the hexagon of opposition. We show that there are two possible readings of de dicto modalities (called symmetric and asymmetric, respectively), as opposed to the unique reading of de re modalities. We focus on the asymmetric reading of de dicto modalities and explore the logical relations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  35
    Axiomatizing norms across time and the 'Paradox of the Court'.Daniela Glavaničová & Matteo Pascucci - 2021 - In Fenrong Liu, Alessandra Marra, Paul Portner & Frederik Van de Putte (eds.), Deontic Logic and Normative Systems. Proceedings of DEON 2020/2021. College Publications. pp. 201-218.
    In normative reasoning one typically refers to intervals of time across which norms are intended to hold, as well as to alternative possibilities representing hypothetical developments of a given scenario. Thus, deontic modalities are naturally intertwined with temporal and metaphysical ones. Furthermore, contemporary debates in philosophy suggest that a proper understanding of fundamental ethical principles, such as the Ought-Implies-Can thesis, requires a simultaneous analysis of these three families of concepts. In the present article we propose a general formal framework which (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. PRIMA 2019: Principles and Practice of Multi-Agent Systems.Daniela Glavaničová & Matteo Pascucci (eds.) - forthcoming - Springer.
    No categories
     
    Export citation  
     
    Bookmark  
  26.  23
    Normatively determined propositions.Matteo Pascucci & Claudio E. A. Pizzi - 2022 - In V. Giardino, S. Linker, S. Burns, F. Bellucci, J. M. Boucheix & P. Viana (eds.), Diagrammatic Representation and Inference. Diagrams 2022. Springer. pp. 78-85.
    In the present work we provide a logical analysis of normatively determined and non-determined propositions. The normative status of these propositions depends on their relation with another proposition, here named reference proposition. Using a formal language that includes a monadic operator of obligation, we define eight dyadic operators that represent various notions of “being normatively (non-)determined”; then, we group them into two families, each forming an Aristotelian square of opposition. Finally, we show how the two resulting squares can be combined (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  28
    A bimodal simulation of defeasibility in the normative domain.Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay - 2020 - In Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay (eds.), Proceedings of FCR-2020. CEUR Workshop Proceedings. pp. 41-54.
    In the present work we illustrate how two sorts of defeasible reasoning that are fundamental in the normative domain, that is, reasoning about exceptions and reasoning about violations, can be simulated via monotonic propositional theories based on a bimodal language with primitive operators representing knowledge and obligation. The proposed theoretical framework paves the way to using native theorem provers for multimodal logic, such as MleanCoP, in order to automate normative reasoning.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Influence of world knowledge and context on the comprehension of natural language translation of logical formulas.Luca Cilibrasi & Matteo Pascucci - 2013 - In Chiara Ciarlo & Davide Giannoni (eds.), Language Studies Working Papers. University of Reading. pp. 13-21.
    In this paper we present an approach to conditional reasoning tasks based on two main ideas. The first idea is that, in contrast with what is usually assumed, an ‘if… then…’ sentence is not an adequate translation in natural language of a logical formula containing a material implication as its principal operator. The second idea is that when subjects are required to check the validity of a sentence in a task, their inferences are not driven uniquely by the content of (...)
     
    Export citation  
     
    Bookmark  
  29.  31
    The good, the bad and the right. Formal reductions among deontic concepts.Daniela Glavaničová & Matteo Pascucci - 2021 - Bulletin of the Section of Logic 50 (2):151-176.
    The present article provides a taxonomic analysis of bimodal logics of normative ideality and normative awfulness, two notions whose meaning is here explained in terms of the moral values pursued by a given community. Furthermore, the article addresses the traditional problem of a reduction among deontic concepts: we explore the possibility of defining other relevant normative notions, such as obligation, explicit permission and Hohfeldian relations, in terms of ideality and awfulness. Some proposals in this respect, which have been formulated in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. ICAIL: International Conference on Artificial Intelligence and Law.Tomer Libal & Matteo Pascucci (eds.) - 2019 - ACM.
     
    Export citation  
     
    Bookmark  
  31. Proceedings of FCR-2020.Tomer Libal, Matteo Pascucci, Leendert van der Torre & Dov Gabbay (eds.) - 2020 - CEUR Workshop Proceedings.
     
    Export citation  
     
    Bookmark  
  32.  21
    A Note on the Issue of Cohesiveness in Canonical Models.Matteo Pascucci - 2020 - Journal of Logic, Language and Information 29 (3):331-348.
    In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames ‘non-cohesive’. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33.  38
    A Unified Semantics for a Family of Modal Logics with Propositional Constants.Matteo Pascucci - 2016 - Logica Universalis 10 (1):45-66.
    This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    Computability of diagrammatic theories for normative positions.Matteo Pascucci & Giovanni Sileno - 2021 - In Erich Schweighofer (ed.), Legal Knowledge and Information Systems. Proceedings of JURIX 2021. IOS Press. pp. 171-180.
    Normative positions are sometimes illustrated in diagrams, in particular in didactic contexts. Traditional examples are the Aristotelian polygons of opposition for deontic modalities (squares, triangles, hexagons, etc.), and the Hohfeldian squares for obligative and potestative concepts. Relying on previous work, we show that Hohfeld’s framework can be used as a basis for developing several Aristotelian polygons and more complex diagrams. Then, we illustrate how logical theories of increasing strength can be built based on these diagrams, and how those theories enable (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  35
    Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
    Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  40
    Propositional quantifiers in labelled natural deduction for normal modal logic.Matteo Pascucci - 2019 - Logic Journal of the IGPL 27 (6):865-894.
    This article concerns the treatment of propositional quantification in a framework of labelled natural deduction for modal logic developed by Basin, Matthews and Viganò. We provide a detailed analysis of a basic calculus that can be used for a proof-theoretic rendering of minimal normal multimodal systems with quantification over stable domains of propositions. Furthermore, we consider variations of the basic calculus obtained via relational theories and domain theories allowing for quantification over possibly unstable domains of propositions. The main result of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37. Permanence vs. termination: a logical analysis.Matteo Pascucci & Claudio E. A. Pizzi - 2022 - Logique Et Analyse 257:57-78.
    The present article is devoted to a logical inquiry on the notions of permanence and termination, which play a central role in many areas of temporal reasoning. In the first part, we introduce a bimodal framework to represent these notions and provide a syntactic and semantic comparison with a monomodal framework representing the notion of future necessity. In the second part, we focus on the problem of defining synonymous logical systems over the two frameworks; as an example, we provide an (...)
     
    Export citation  
     
    Bookmark  
  38. Allowed, or enabled, that is the question.Giovanni Sileno, Matteo Pascucci & Réka Markovich - 2023 - In Juliano Maranhao, Clayton Peterson, Christian Straßer & Leendert Van der Torre (eds.), DEON 2023. College Publications. pp. 297-317.
    The formal analysis of normative systems has traditionally focused on their deontic dimension rather than on their potestative dimension; yet, a growing amount of works aims at shedding light on the notion of power, its norm changing potential and its general interactions with deontic concepts. The present article contributes to this line of inquiry by adopting the following perspective: a normative system can be metaphorically seen as an agent that allocates abilities (powers) in order to promote the fulfillment of certain (...)
     
    Export citation  
     
    Bookmark  
  39. Proceedings of CILC 2020.Giovanni Sileno & Matteo Pascucci (eds.) - 2020 - CEUR Workshop Proceedings.
     
    Export citation  
     
    Bookmark  
  40.  17
    Notions of instrumentality in agency logic.Kees van Berkel & Matteo Pascucci - 2018 - In T. Miller, O. Nir, Y. Sakurai, I. Noda, B. T. R. Savarimuthu & S. Tran (eds.), PRIMA 2018: Principles and Practice of Multi-Agent Systems. Springer. pp. 403-419.
    We present a logic of agency called LAE whose language includes propositional constants for actions and expectations. The logic is based on Von Wright’s theory of agency in general and his analysis of instrumentality in particular. An axiomatization of the logic, including an independence of agents axiom, is provided and soundness and completeness are shown with respect to its intended class of frames. The framework of LAE will allow us to formally define a manifold of concepts involved in agency theories, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Decidability of Ordered Fragments of FOL via Modal Translation.Hongkai Yin & Matteo Pascucci - 2024 - In Emanuele De Angelis & Maurizio Proietti (eds.), Proceedings of CILC 2024. CEUR. pp. 1-15, article n. 17.
    We present a simplification and a modification of a method introduced by Herzig to prove the decidability of Quine’s ordered fragment of first-order logic. The method consists in an interpretation of quantifiers as modal operators. We show that our modification yields the decidability of two new ordered fragments of first-order logic, called the grooved fragment and the loosely grooved fragment, whose expressive power lies between Quine’s ordered fragment and the fluted fragment.
     
    Export citation  
     
    Bookmark