The following pages link to Emilio Muñoz-Velasco (Q313005):
Displaying 38 items.
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- Relational dual tableau decision procedures and their applications to modal and intuitionistic logics (Q386620) (← links)
- A combined superposition and model evolution calculus (Q438531) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- ExpTime tableau decision procedures for regular grammar logics with converse (Q763333) (← links)
- Resolution is cut-free (Q972424) (← links)
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Terminating tableau systems for hybrid logic with difference and converse (Q1047795) (← links)
- Fuzzy closure systems: motivation, definition and properties (Q2169193) (← links)
- A relational extension of Galois connections (Q2294566) (← links)
- On coarser interval temporal logics (Q2321249) (← links)
- A logic framework for reasoning with movement based on fuzzy qualitative representation (Q2350485) (← links)
- Relational Galois connections between transitive digraphs: characterization and construction (Q2660964) (← links)
- Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations (Q2938489) (← links)
- A new deduction system for deciding validity in modal logic K (Q3000420) (← links)
- A PDL APPROACH FOR QUALITATIVE VELOCITY (Q3005946) (← links)
- Implementing a relational theorem prover for modal logic (Q3008387) (← links)
- Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance (Q3391741) (← links)
- Analyzing completeness of axiomatic functional systems for temporal × modal logics (Q3406454) (← links)
- Functional systems in the context of temporal×modal logics with indexed flows (Q3643153) (← links)
- Dual tableau for a multimodal logic for order of magnitude qualitative reasoning with bidirectional negligibility (Q3643154) (← links)
- (Q4580320) (← links)
- A multimodal logic for closeness (Q4586231) (← links)
- A hybrid qualitative approach for relative movements (Q4644518) (← links)
- Relational dual tableau decision procedure for modal logic K (Q4922857) (← links)
- (Q4999269) (← links)
- (Q5015271) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)
- (Q5071236) (← links)
- (Q5079773) (← links)
- (Q5111184) (← links)
- Relational Galois connections between transitive fuzzy digraphs (Q5131553) (← links)
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Q5369240) (← links)
- Generalization of some properties of relations in the context of functional temporal×modal logic (Q5459725) (← links)
- A flexible logic-based approach to closeness using order of magnitude qualitative reasoning (Q5865569) (← links)
- Fuzzy closure relations (Q6083059) (← links)
- Fuzzy Halpern and Shoham's interval temporal logics (Q6083148) (← links)
- Logics for order-of-magnitude qualitative reasoning: formalizing negligibility (Q6599614) (← links)
