First-Order Classical Modal Logic-Reference-Cited by-同舟云学术

First-Order Classical Modal Logic

Published:2006-11-09 Issue:2 Volume:84 Page:171-210
ISSN:0039-3215
Container-title:Studia Logica
language:en
Short-container-title:Stud Logica

Author:

Arló-Costa Horacio,Pacuit Eric

Publisher

Springer Science and Business Media LLC

Subject

History and Philosophy of Science,Logic

Link

http://link.springer.com/content/pdf/10.1007/s11225-006-9010-0.pdf

Reference52 articles.

1. Alur, R., T. A. Henzinger, and O. Kupferman, ‘Alternating-time temporal logic’, in Compositionality: The Significant Difference, LNCS 1536, Springer, 1998, pp. 23-60.

2. Arló Costa, H., ‘Qualitative and Probabilistic Models of Full Belief’, Proceedings of Logic Colloquim'98, Lecture Notes on Logic 13, S. Buss, P. Hajek, P. Pudlak (eds.), ASL, A. K. Peters, 1999.

3. Arló Costa, H., ‘First order extensions of classical systems of modal logic’, Studia Logica 71:87–118, 2002.

4. Arló Costa, H., ‘Non-Adjunctive Inference and Classical Modalities’, Journal of Philosophical Logic 34 (5-6):581–605, 2005.

5. Arló Costa, H., and E. Pacuit, ‘Free Quantified (Classical) Modal Logic: Varying Domains’, typescript CMU and ILLC-Amsterdam, 2006.

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

1. Non-Normal Modal Description Logics;Logics in Artificial Intelligence;2023

2. An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics;Mathematical Logic Quarterly;2022-02-19

3. Classical term-modal logics;Journal of Logic and Computation;2020-09-24

4. Proof theory for quantified monotone modal logics;Logic Journal of the IGPL;2019-05-24

5. Towards a Logic of Epistemic Theory of Measurement;Modeling and Using Context;2019