Resolution with order and selection for hybrid logics

We investigate labeled resolution calculi for hybrid logics with inference rules restricted via selection functions and orders. We start by providing a sound and refutationally complete calculus for the hybrid logic H(at ↓,A), even under restrictions by selection functions and orders. Then, by impos...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Areces, C., Gorín, D.
Formato: JOUR
Materias:
Modal logic
Order and selection function constraints
Resolution calculus
Soundness and completeness
Termination
Biomineralization
Formal logic
Pathology
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_01687433_v46_n1_p1_Areces
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares