5 found
Order:
  1.  35
    An Efficient Approach to Nominal Equalities in Hybrid Logic Tableaux.Serenella Cerrito & Marta Cialdea Mayer - 2010 - Journal of Applied Non-Classical Logics 20 (1-2):39-61.
    Basic hybrid logic extends modal logic with the possibility of naming worlds by means of a distinguished class of atoms and the so-called satisfaction operator, that allows one to state that a given formula holds at the world named a, for some nominal a. Hence, in particular, hybrid formulae include “equality” assertions, stating that two nominals are distinct names for the same world. The treatment of such nominal equalities in proof systems for hybrid logics may induce many redundancies. This paper (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  38
    Linear Temporal Logic as an Executable Semantics for Planning Languages.Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini & Valentina Poggioni - 2006 - Journal of Logic, Language and Information 16 (1):63-89.
    This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Temporal Abductive Reasoning About Biochemical Reactions.Serenella Cerrito, Marta Cialdea Mayer & Robert Demolombe - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):269-291.
    The interactions among the components of a biological system can be given a logical representation that is useful for reasoning about them. One of the relevant problems that may be raised in this context is finding what would explain a given behaviour of some component; in other terms, generating hypotheses that, when added to the logical theory modelling the system, imply that behaviour. Temporal aspects have to be taken into account, in order to model the causality relationship that may link (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4.  2
    Nominal Substitution at Work with the Global and Converse Modalities.Serenella Cerrito & Marta Cialdea Mayer - 2010 - In Lev Beklemishev, Valentin Goranko & Valentin Shehtman (eds.), Advances in Modal Logic, Volume 8. CSLI Publications. pp. 59-76.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  13
    Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.Marta Cialdea Mayer & Serenella Cerrito - 2001 - Studia Logica 69 (1):97-131.
    In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark