Login / Signup
Public Announcements for Intuitionistic Epistemic Logic IEL.
Alexandra Pavlova
Published in:
FCR@KI (2022)
Keyphrases
</>
epistemic logic
logical framework
model checking
modal logic
linear logic
inference rules
dynamic epistemic logic
multi agent systems
multi faceted
fuzzy set theory
computation tree logic
mathematical theory
theorem prover
incomplete information
fuzzy numbers
formal semantics