Author:
Alenda Régis,Olivetti Nicola,Pozzato Gian Luca
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Alenda, R., Olivetti, N., Pozzato, G.L.: Nested sequents for Conditional Logics: preliminary results, Technical Report (2012),
http://www.di.unito.it/~pozzato/termcso.pdf
2. Artosi, A., Governatori, G., Rotolo, A.: Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation 12(6), 1027–1060 (2002)
3. Baltag, A., Smets, S.: The logic of conditional doxastic actions. Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction 4, 9–31 (2008)
4. Board, O.: Dynamic interactive epistemology. Games and Economic Behavior 49(1), 49–80 (2004)
5. Boutilier, C.: Conditional logics of normality: a modal approach. Artificial Intelligence 68(1), 87–154 (1994)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Uniform Labelled Calculi for Conditional and Counterfactual Logics;Logic, Language, Information, and Computation;2019
2. A Sequent Calculus for Counterfactual Reasoning;Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security;2017-10-30
3. Unified correspondence and proof theory for strict implication;Journal of Logic and Computation;2016-05-25
4. Dynamic epistemic logic in update logic;Journal of Logic and Computation;2016-03-07
5. A logic of proofs for differential dynamic logic: toward independently checkable proof certificates for dynamic logics;Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs;2016-01-18