2024
Permanent URI for this collection
Browse
Browsing 2024 by Title
Now showing 1 - 6 of 6
Results Per Page
Sort Options
Dataset An Algebraic Proof of the Nishimura Theorem(MDPI AG, 2024) Alex CitkinDataset DECLAREd: A Polytime LTLf Fragment(MDPI AG, 2024) Giacomo BergamiDataset Dynamic Temporal Logic of Subjective Homophily(MDPI AG, 2024) Xiling LuoDataset Inferential Interpretations of Many-Valued Logics(MDPI AG, 2024) Sanderson MolickDataset Modelling Value-Oriented Legal Reasoning in LogiKEy(MDPI AG, 2024) Christoph Benzmüller; David Fuenmayor; Bertram LomfeldDataset Projective Geometry as a Model for Hegel’s Logic(MDPI AG, 2024) Paul Redding