Derivation rules as anti-axioms in modal logic
Work
Year: 1993
Type: article
Abstract: We discuss a ‘negative’ way of defining frame classes in (multi)modal logic, and address the question of whether these classes can be axiomatized by derivation rules , the ‘non-ξ rules’, styled after... more
Source: Journal of Symbolic Logic
Author Yde Venema
Institutions Rijksmuseum, Utrecht University
Cites: 41
Cited by: 85
Related to: 10
FWCI: 1.347
Citation percentile (by year/subfield): 94.25
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green