Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Stef Frijters"'
Autor:
Stef Frijters, Lorenz Demey
Publikováno v:
Axioms, Vol 12, Iss 5, p 471 (2023)
In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is interpreted on a kind of birelational Kripke frames, which we call “AD-
Externí odkaz:
https://doaj.org/article/54f6c927bf9d48bd8ba76c810d09977d
Autor:
Stef Frijters, Frederik Van De Putte
Publikováno v:
Journal of Logic and Computation. 31:1026-1054
We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out th
Autor:
Stef Frijters
Publikováno v:
Diagrammatic Representation and Inference ISBN: 9783031151453
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8fa8eea8c2b3f33ab06d7bbe056c6a80
https://doi.org/10.1007/978-3-031-15146-0_28
https://doi.org/10.1007/978-3-031-15146-0_28
Publikováno v:
New Developments in Legal Reasoning and Logic ISBN: 9783030700836
BASE-Bielefeld Academic Search Engine
BASE-Bielefeld Academic Search Engine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5263512f490db3b4b7fe83eeb73b043
https://doi.org/10.1007/978-3-030-70084-3_13
https://doi.org/10.1007/978-3-030-70084-3_13
Autor:
Stef Frijters
Publikováno v:
BASE-Bielefeld Academic Search Engine
Stef Frijters
Stef Frijters
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::26d7b1f052845c9eda05764b0adbe8e1
https://hdl.handle.net/1854/LU-8698101
https://hdl.handle.net/1854/LU-8698101
Publikováno v:
Stef Frijters
BASE-Bielefeld Academic Search Engine
BASE-Bielefeld Academic Search Engine
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8d30a486775456380949872234c74fa0
https://biblio.ugent.be/publication/8567445
https://biblio.ugent.be/publication/8567445