Doxastic Lukasiewicz Logic with Public Announcement.
Doratossadat DastgheibHadi FarahaniPublished in: CoRR (2023)
Keyphrases
- modal logic
- epistemic logic
- truth values
- temporal logic
- inference rules
- classical logic
- logical framework
- nonmonotonic logics
- model checking
- cooperative
- multi valued
- automated reasoning
- abductive reasoning
- predicate logic
- real time
- defeasible logic
- public space
- deontic logic
- set theory
- logic programming
- bayesian networks
- knowledge base
- decision making
- social networks
- artificial intelligence