Logical connectives for two-state semantics-Reference-Cited by-同舟云学术

Logical connectives for two-state semantics

Published:2023-08-07 Issue:3-4 Volume:33 Page:520-536
ISSN:1166-3081
Container-title:Journal of Applied Non-Classical Logics
language:en
Short-container-title:Journal of Applied Non-Classical Logics

Author:

Cialdea Mayer Marta¹^ORCID,Fariñas del Cerro Luis²^ORCID

Affiliation:

1. Dipartimento di Ingegneria Civile, Informatica e delle Tecnologie Aeronautiche, Università degli Studi Roma Tre, Rome, Italy

2. Institut de Recherche en Informatique de Toulouse, Toulouse University, Toulouse, France

Publisher

Informa UK Limited

Subject

Logic,Philosophy

Link

https://www.tandfonline.com/doi/pdf/10.1080/11663081.2023.2244362

Reference10 articles.

1. Fariñas del Cerro L. & Herzig A. (2011). Logics of contingency. In Logical Formalizations of Commonsense Reasoning Papers from the 2011 AAAI Spring Symposium Technical Report SS-11-06 March 21-23 2011. AAAI.

2. Fariñas del Cerro L. Pearce D. & Valverde A. (2012). Bi-state logic. In E. Erdem J. Lee Y. Lierler & D. Pearce (Eds.) Correct reasoning: Essays on logic-based AI in honour of Vladimir Lifschitz (pp. 265–278). Springer.

3. Ferraris P. Lee J. & Lifschitz V. (2007). A new perspective on stable models. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (pp. 372–379). Morgan Kaufmann Publishers Inc.

4. Gelfond M. & Lifschitz V. (1988). The stable model semantics for logic programming. In R. A. Kowalski & K. A. Bowen (Eds.) Proceedings of the 5th international conference and symposium logic programming (pp. 1070–1080). MIT Press.

5. Zum intuitionistischen Aussagenkalkül;Gödel K.;Anzeiger der Akademie der Wissenschaften in Wien,1932