Indexed Flows in Temporal x Modal Logic with Functional Semantics. - Alfredo Burrieza; Inman P. de Guzmán; Emilio Muñoz-Velasco (TIME, 2002)

Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2005)

MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies. - Gabriel Aguilera 001; Alfredo Burrieza; Pablo Cordero; Inmaculada Perez de Guzmán; Emilio Muñoz-Velasco (IBERAMIA-SBIA, 2006)

A Logic for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2007)

A Propositional Dynamic Logic Approach for Order of Magnitude Reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (IBERAMIA, 2008)

An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. - Joanna Golinska-Pilarek; Ángel Mora 001; Emilio Muñoz-Velasco (PRICAI, 2008)

Generalization of some properties of relations in the context of functional temporal×modal logic. - Alfredo Burrieza; Inman P. de Guzmán; Emilio Muñoz-Velasco (Int. J. Comput. Math., 2008)

Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (CAEPIA, 2009)

Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Log. J. IGPL, 2009)

Functional systems in the context of temporal×modal logics with indexed flows. - Alfredo Burrieza; Inman P. de Guzmán; Emilio Muñoz-Velasco (Int. J. Comput. Math., 2009)

Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Int. J. Comput. Math., 2009)

Analyzing completeness of axiomatic functional systems for temporal × modal logics. - Alfredo Burrieza; Inmaculada Perez de Guzmán; Emilio Muñoz-Velasco (Math. Log. Q., 2010)

A new deduction system for deciding validity in modal logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (Log. J. IGPL, 2011)

Implementing a relational theorem prover for modal logic. - Ángel Mora 001; Emilio Muñoz-Velasco; Joanna Golinska-Pilarek (Int. J. Comput. Math., 2011)

A PDL Approach for Qualitative Velocity. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2011)

Reasoning with Qualitative Velocity: Towards a Hybrid Approach. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (HAIS (1), 2012)

Relational dual tableau decision procedure for modal logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Angel Mora-Bonilla (Log. J. IGPL, 2012)

Deterministic Tableau-Decision Procedure via Reductions for Modal Logic K. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (SOCO-CISIS-ICEUTE, 2013)

A First Study of the Horn Fragment of the Modal Logic of Time Intervals. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (CILC, 2014)

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (JELIA, 2014)

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics. - Joanna Golinska-Pilarek; Taneli Huuskonen; Emilio Muñoz-Velasco (Ann. Pure Appl. Log., 2014)

A logic framework for reasoning with movement based on fuzzy qualitative representation. - Emilio Muñoz-Velasco; Alfredo Burrieza; Manuel Ojeda-Aciego (Fuzzy Sets Syst., 2014)

On Coarser Interval Temporal Logics and their Satisfiability Problem. - Emilio Muñoz-Velasco; Mercedes Pelegrín-García; Pietro Sala; Guido Sciavicco (CAEPIA, 2015)

A Movement Control System Based on Qualitative Reasoning. - Przemyslaw Andrzej Walega; Emilio Muñoz-Velasco (SOCO, 2015)

Undecidability of Chop. - Angelo Montanari; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2015)

A hybrid qualitative approach for relative movements. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco (Log. J. IGPL, 2015)

A Hybrid Approach to Closeness in the Framework of Order of Magnitude Qualitative Reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (HAIS, 2016)

On the Complexity of Fragments of Horn Modal Logics. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2016)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (CoRR, 2016)

On the Expressive Power of Sub-Propositional Fragments of Modal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (GandALF, 2016)

Tableau reductions: Towards an optimal decision procedure for the modal necessity. - Joanna Golinska-Pilarek; Emilio Muñoz-Velasco; Ángel Mora 001 (J. Appl. Log., 2016)

Fast(er) Reasoning in Interval Temporal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (CSL, 2017)

Implementation of a Tableau-based Satisfiability Checker for HS3. - Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS/CILC, 2017)

A multimodal logic for closeness. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (J. Appl. Non Class. Logics, 2017)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic. - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (ACM Trans. Comput. Log., 2017)

Extracting Interval Temporal Logic Rules: A First Approach. - Davide Bresolin; Enrico Cominato; Simone Gnani; Emilio Muñoz-Velasco; Guido Sciavicco (TIME, 2018)

On Sub-Propositional Fragments of Modal Logic. - Davide Bresolin; Emilio Muñoz-Velasco; Guido Sciavicco (Log. Methods Comput. Sci., 2018)

Towards Interval Temporal Logic Rule-Based Classification. - Estrella Lucena-Sánchez; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan; Alessandro Vaccari 002 (OVERLAY@AI*IA, 2019)

Towards fuzzy relational Galois connections between fuzzy T-digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (EUSFLAT Conf., 2019)

A Relational Extension of Galois Connections. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (ICFCA, 2019)

On coarser interval temporal logics. - Emilio Muñoz-Velasco; Mercedes Pelegrín-García; Pietro Sala; Guido Sciavicco; Ionel Eduard Stan (Artif. Intell., 2019)

A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic. - Przemyslaw Andrzej Walega; Emilio Muñoz-Velasco (J. Multiple Valued Log. Soft Comput., 2019)

An Approach to Fuzzy Modal Logic of Time Intervals. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco (ECAI, 2020)

Time Series Checking with Fuzzy Interval Temporal Logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (ICTCS, 2020)

Galois Connections Between Unbalanced Structures in a Fuzzy Framework. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (IPMU (3), 2020)

A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. - Alfredo Burrieza; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Log. J. IGPL, 2020)

Relational Galois connections between transitive digraphs: Characterization and construction. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (Inf. Sci., 2020)

Closure Systems as a Fuzzy Extension of Meet-subsemilattices. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (IFSA/EUSFLAT/AGOP, 2021)

On (fuzzy) closure systems in complete fuzzy lattices. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (FUZZ-IEEE, 2021)

Formal Methods in FCA and Big Data. - Domingo López-Rodríguez; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego (Complex Data Analytics with Formal Concept Analysis, 2022)

Fuzzy closure systems over Heyting algebras as fixed points of a fuzzy Galois connection. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (CLA, 2022)

On Modal Logic Association Rule Mining. - Ionel Eduard Stan; Guido Sciavicco; Emilio Muñoz-Velasco; Giovanni Pagliarini; Mauro Milella; Andrea Paradiso (ICTCS, 2022)

On the Definition of Fuzzy Relational Galois Connections Between Fuzzy Transitive Digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (IPMU (1), 2022)

Relational Extension of Closure Structures. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (IPMU (1), 2022)

Fuzzy closure relations. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (Fuzzy Sets Syst., 2022)

Fuzzy closure systems: Motivation, definition and properties. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (Int. J. Approx. Reason., 2022)

On Pseudointents in Fuzzy Formal Concept Analysis. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (ICCS, 2023)

On the Commutative Diagrams Among Galois Connections Involved in Closure Structures. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (ICFCA, 2023)

A Sound and Complete Tableau System for Fuzzy Halpern and Shoham's Interval Temporal Logic. - Willem Conradie; Riccardo Monego; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (TIME, 2023)

Fuzzy Halpern and Shoham's interval temporal logics. - Willem Conradie; Dario Della Monica; Emilio Muñoz-Velasco; Guido Sciavicco; Ionel Eduard Stan (Fuzzy Sets Syst., 2023)

Fuzzy relational Galois connections between fuzzy transitive digraphs. - Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco; Manuel Ojeda-Aciego; Bernard De Baets (Fuzzy Sets Syst., 2023)

Fuzzy closure structures as formal concepts. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (Fuzzy Sets Syst., 2023)

Fuzzy closure structures as formal concepts II. - Manuel Ojeda-Hernández; Inma P. Cabrera; Pablo Cordero; Emilio Muñoz-Velasco (Fuzzy Sets Syst., 2023)