Markus Karl Bauernfeind

ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and Completeness

We introduce ECL3 (Epistemic Causal Logic), a three-valued formal logic extending Łukasiewicz L3 with an observability predicate Obs and a causal operator Cause. The system distinguishes truth (what is the case), observability (whether it can be known), and causal accessibility (...

ECL₃^Q as an Instance of a General Logical Framework: Preliminary Results

This note reports preliminary results from an ongoing effort to place ECL₃^Q — a three-valued epistemic causal logic with an ontological (not epistemic) third value U, developed independently in Paper I — inside a more general classificatory framework for many-valued and non-clas...

ECL₃^Q as an Instance of a General Logical Framework: Preliminary Results

This note reports preliminary results from an ongoing effort to place ECL₃^Q — a three-valued epistemic causal logic with an ontological (not epistemic) third value U, developed independently in Paper I — inside a more general classificatory framework for many-valued and non-clas...