Publisher
Springer Nature Switzerland
Reference43 articles.
1. Alsinet, T., Chesñevar, C.I., Godo, L., Simari, G.R.: A logic programming framework for possibilistic argumentation: formalization and logical properties. Fuzzy Sets Syst. 159(10), 1208–1228 (2008)
2. Antoniou, G.: Nonmonotonic Reasoning. MIT Press, Cambridge (1997)
3. Artemov, S.N.: Operational modal logic. Technical Report. MSI 95-29, Mathematical Sciences Institute, Cornell University (1995)
4. Artemov, S.N.: Explicit provability and constructive semantics. Bull. Symb. Logic 7, 1–36 (2001)
5. Artemov, S.N., Fitting, M.: Justification Logic: Reasoning with Reasons, Cambridge Tracts in Mathematics, vol. 216. Cambridge University Press, Cambridge (2019)