Gabriel Goren-Roig
- Basic Model Theory for Path Predicate Modal Logic
2026/07/18 by Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
Computer Science · #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #Logic, programming, and type systems