Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic
Work
Year: 2021
Type: book-chapter
Authors Christian Hagemeier, Dominik Kirst
Institution Saarland University
Cites: 22
Cited by: 1
Related to: 10
FWCI: 0.323
Citation percentile (by year/subfield): 45.13
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed