Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
Work
Year: 1993
Type: article
Source: Annals of Pure and Applied Logic
Cites: 14
Cited by: 37
Related to: 10
FWCI:
Citation percentile (by year/subfield): 90.66
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed