8 found
Sort by:
  1. Pavlos Peppas, Samir Chopra & Norman Foo, Distance Semantics for Relevance-Sensitive Belief Revision.
    Possible-world semantics are provided for Parikh’s relevance-sensitive model for belief revision. Having Grove’s system-of-spheres construction as a base, we consider additional constraints on measuring distance between possible worlds, and we prove that, in the presence of the AGM postulates, these constraints characterize precisely Parikh’s axiom (P). These additional constraints essentially generalize a criterion of similarity that predates axiom (P) and was originally introduced in the context of Reasoning about Action. A by-product of our study is the identification of two possible (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  2. Costas D. Koutras, Christos Nomikos & Pavlos Peppas (2012). Canonicity and Completeness Results for Many-Valued Modal Logics. Journal of Applied Non-Classical Logics 12 (1):7-41.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Pavlos Peppas (2012). Comparative Possibility in Set Contraction. Journal of Philosophical Logic 41 (1):53-75.
    In a recent article, Zhang and Foo generalized the AGM postulates for contraction to include infinite epistemic input. The new type of belief change is called set contraction. Zhang and Foo also introduced a constructive model for set contraction, called nicely ordered partition, as a generalization of epistemic entrenchment. It was shown however that the functions induced from nicely ordered partitions do not quite match the postulates for set contraction. The mismatch was fixed with the introduction of an extra condition (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Gerhard Brewka & Pavlos Peppas (2005). Preface. Studia Logica 79 (1):3-5.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Norman Y. Foo & Pavlos Peppas (2001). Realization for Causal Nondeterministic Input-Output Systems. Studia Logica 67 (3):419-437.
    There are two well-developed formalizations of discrete time dynamic systems that evidently share many concerns but suffer from a lack of mutual awareness. One formalization is classical systems and automata theory. The other is the logic of actions in which the situation and event calculi are the strongest representatives. Researchers in artificial intelligence are likely to be familiar with the latter but not the former. This is unfortunate, for systems and automata theory have much to offer by way of insight (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Pavlos Peppas, Costas D. Koutras & Mary-Anne Williams (2001). Prolegomena to Concise Theories of Action. Studia Logica 67 (3):403-418.
    A new methodology for developing theories of action has recently emerged which provides means for formally evaluating the correctness of such theories. Yet, for a theory of action to qualify as a solution to the frame problem, not only does it need to produce correct inferences, but moreover, it needs to derive these inferences from a concise representation of the domain at hand. The new methodology however offers no means for assessing conciseness. Such a formal account of conciseness is developed (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  7. Pavlos Peppas & Mary-Anne Williams (1995). Constructive Modelings for Theory Change. Notre Dame Journal of Formal Logic 36 (1):120-133.
    Alchourrón, Gärdenfors and Makinson have developed and investigated a set of rationality postulates which appear to capture much of what is required of any rational system of theory revision. This set of postulates describes a class of revision functions, however it does not provide a constructive way of defining such a function. There are two principal constructions of revision functions, namely an epistemic entrenchment and a system of spheres. We refer to their approach as the AGM paradigm. We provide a (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. Pavlos Peppas, Norman Foo & Mary-Anne Williams (1992). On the Expressibility of Propositions. Logique Et Analyse 139 (140):251-272.
    Direct download  
     
    My bibliography  
     
    Export citation