8 found
Order:
See also
Emilio Muñoz-Velasco
Universidad de Málaga
  1.  19
    Relational Dual Tableau Decision Procedures and Their Applications to Modal and Intuitionistic Logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.
    This paper introduces Basic Intuitionistic Set Theory BIST, and investigates it as a first-order set theory extending the internal logic of elementary toposes. Given an elementary topos, together with the extra structure of a directed structural system of inclusions on the topos, a forcing-style interpretation of the language of first-order set theory in the topos is given, which conservatively extends the internal logic of the topos. This forcing interpretation applies to an arbitrary elementary topos, since any such is equivalent to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  35
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Munoz-Velasco & Angel Mora - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system RLK in Prolog, and we show some of its advantages.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  24
    Relational Dual Tableau Decision Procedure for Modal Logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.
    We present a dual tableau system, RLK, which is itself a deterministic decision procedure verifying validity of K-formulas. The system is constructed in the framework of the original methodology of relational proof systems, determined only by axioms and inference rules, without any external techniques. Furthermore, we describe an implementation of the system in Prolog, and we show some of its advantages.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  8
    Analyzing Completeness of Axiomatic Functional Systems for Temporal × Modal Logics.Alfredo Burrieza, Inmaculada P. de Guzmán & Emilio Muñoz-Velasco - 2010 - Mathematical Logic Quarterly 56 (1):89-102.
    In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  26
    Dual Tableau for a Multimodal Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.Joanna Golińska-Pilarek & Emilio Munoz-Velasco - 2009 - International Journal of Computer Mathematics 86 (10-11):1707–1718.
    We present a relational proof system in the style of dual tableaux for the relational logic associated with a multimodal propositional logic for order of magnitude qualitative reasoning with a bidirectional relation of negligibility. We study soundness and completeness of the proof system and we show how it can be used for verification of validity of formulas of the logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  13
    Tableau Reductions: Towards an Optimal Decision Procedure for the Modal Necessity.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora - 2016 - Journal of Applied Logic 17:14-24.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  2
    On Coarser Interval Temporal Logics.Emilio Muñoz-Velasco, Mercedes Pelegrín, Pietro Sala, Guido Sciavicco & Ionel Eduard Stan - 2019 - Artificial Intelligence 266:1-26.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  2
    A Flexible Logic-Based Approach to Closeness Using Order of Magnitude Qualitative Reasoning.Alfredo Burrieza, Emilio MuÑoz-Velasco & Manuel Ojeda-Aciego - forthcoming - Logic Journal of the IGPL.
    In this paper, we focus on a logical approach to the important notion of closeness, which has not received much attention in the literature. Our notion of closeness is based on the so-called proximity intervals, which will be used to decide the elements that are close to each other. Some of the intuitions of this definition are explained on the basis of examples. We prove the decidability of the recently introduced multimodal logic for closeness and, then, we show some capabilities (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark