FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS-Reference-Cited by-同舟云学术

FINITE MODELS CONSTRUCTED FROM CANONICAL FORMULAS

Published:2007-06-29 Issue:6 Volume:36 Page:605-640
ISSN:0022-3611
Container-title:Journal of Philosophical Logic
language:en
Short-container-title:J Philos Logic

Author:

Moss Lawrence S.

Publisher

Springer Science and Business Media LLC

Subject

Philosophy

Link

http://link.springer.com/content/pdf/10.1007/s10992-007-9052-4.pdf

Reference11 articles.

1. Barwise, J. and Moss, L. S.: Vicious Circles: On the Mathematics of Non-wellfounded Phenomena, CSLI Lecture Notes Number 60, CSLI Publications, Stanford University, 1996.

2. Barwise, J. and Moss, L. S.: Modal correspondence for models, The Journal of Philosophical Logic 27 (1998), 275–294.

3. Blackburn, P., de Rijke, M., and Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, 53. Cambridge University Press, Cambridge, 2001.

4. Fine, K.: Normal forms in modal logic, Notre Dame Journal of Formal Logic 16 (1975), 229–237.

5. Ghilardi, S.: An algebraic theory of normal forms, Annals of Pure and Applied Logic 71(3) (1995), 189–245.

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

1. Modern Faces of Filtration;Outstanding Contributions to Logic;2023

2. METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS;The Journal of Symbolic Logic;2022-10-13

3. A general multi-agent epistemic planner based on higher-order belief change;Artificial Intelligence;2021-12

4. The complexity of identifying characteristic formulae;Journal of Logical and Algebraic Methods in Programming;2020-04

5. COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS;The Review of Symbolic Logic;2019-07-04