Direct Resolution for Modal-like Logics

Direct Resolution for Modal-like Logics (2002)

Cached

Download Links

by Carlos Areces , Juan Heguiabehere

BibTeX

@MISC{Areces02directresolution,
    author = {Carlos Areces and Juan Heguiabehere},
    title = {Direct Resolution for Modal-like Logics},
    year = {2002}
}

Bookmark

OpenURL

Abstract

Citations

1225	The essence of functional programming - Wadler - 1992
131	Resolution theorem proving - Bachmair, Ganzinger - 2007
78	Using the universal modality: gains and questions - Goranko, Passy - 1992
44	A benchmark method for the propositional modal logics K, KT, S4 - Balsiger, Heuerding, et al.
38	A.: Term indexing - Ramakrishnan, Sekar, et al. - 2001
30	Logic Engineering: The Case of Description and Hybrid Logics - Areces - 2000
30	Equational reasoning in saturation-based theorem proving - Bachmair, Ganzinger - 1998
20	Rijke. Resolution in modal, description and hybrid logic - Areces, Nivelle, et al. - 2001
18	Design and results of the Tableaux-99 non-classical (modal) systems comparison - Massacci - 1999
14	An overview of Edison - Okasaki - 2000
10	Algorithms, datastructures, and other issues in efficient automated deduction - Voronkov - 2001
9	del Cerro. Modal Resolution - Enjalbert, Farinas - 1989
9	Resolution calculi for modal logics - Mints
8	The anatomy of Vampire - Voronkov - 1995
7	Rijke. The Random Modal QBF Test Set - Heguiabehere, de
3	HyLoRes: A hybrid logic prover based on direct resolution - Areces, Heguiabehere - 2002
3	A new very-general method to generate random modal formulae for testing decision procedures - Patel-Schneider, Sebastiani
2	SPASS home - Weidenbach - 2003
1	SAT Project Homepage. http://www.mrg.dist.unige.it/ ~starsat/home.html - Tacchella