Intuitionistic Basis for Input/Output Logic-Reference-Cited by-同舟云学术

Intuitionistic Basis for Input/Output Logic

Published:2013-12-21 Issue: Volume: Page:263-286
ISSN:2211-2758
Container-title:David Makinson on Classical Methods for Non-Classical Problems
language:
Short-container-title:

Author:

Parent Xavier,Gabbay Dov,Torre Leendert van der

Publisher

Springer Netherlands

Link

http://link.springer.com/content/pdf/10.1007/978-94-007-7759-0_13

Reference17 articles.

1. Dummett, M. (1973). The philosophical basis of intuitionistic logic. Truth and other enigmas (pp. 215–247). Cambridge: Harvard University Press.

2. Gabbay, D. (1981). Semantical investigations in Heyting’s intuitionistic logic. Dordrecht: Reidel.

3. Gabbay, D. (2007). Logic for artificial intelligence and information technology, volume 9 of texts in computer science. London: College Publications.

4. Hansen, J. (2008). Prioritized conditional imperatives: problems and a new proposal. Autonomous Agents and Multi-Agent Systems, 17(1), 11–35.

5. Harrop, R. (1956). On disjunctions and existential statements in intuitionistic systems of logic. Mathematische Annalen, 132(4), 347–361.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Permissive and regulative norms in deontic logic;Journal of Logic and Computation;2023-05-31

2. Subordination Algebras as Semantic Environment of Input/Output Logic;Logic, Language, Information, and Computation;2022

3. Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations;Logic, Language, Information, and Computation;2022

4. From Input/Output Logics to Conditional Logics via Sequents – with Provers;Lecture Notes in Computer Science;2021

5. A Tableaux Calculus for Default Intuitionistic Logic;Lecture Notes in Computer Science;2019