Realization for justification logics via nested sequents: Modularity through embedding
Work
Year: 2012
Type: article
Source: Annals of Pure and Applied Logic
Authors Remo Goetschi, Roman Kuznets
Institution University of Bern
Cites: 24
Cited by: 33
Related to: 10
FWCI: 3.249
Citation percentile (by year/subfield): 89.59
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: bronze