First-order classical modal logic: Applications in logics of knowledge and probability

Proceedings of the Tenth Conference on the Theoretical Aspects of Rationality and Knowledge

Volumn , Issue , 2005, Pages 262-278

  Arló Costa, Horacio ^a   Pacuit, Eric ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CITY UNIVERSITY OF NEW YORK   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FIRST ORDER MODELS; MONADIC OPERATORS; SEMANTICAL PROGRAM;

COMPUTER SCIENCE; PROBABILITY; SEMANTICS;

KNOWLEDGE ACQUISITION;

EID: 32144445760     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (43)

1. Alur, R.,. Henzinger, T. A and Kupferman. O. 'Alternating-time temporal logic,' In Compositionality: The Significant Difference, LNCS 1536, pages 23-60. Springer, 1998.
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. and Parikh R.'Conditional Probability and Defeasible Inference,'Technical Report No. CMU-PHIL-151, November 24, 2003,
4. forthcoming in the Journal of Philosophical Logic.
5. Arló Costa, H. 'First order extensions of classical systems of modal logic,' Studia Logica, 38, 2003.
6. Arló Costa, H. 'Non-Adjunctive Inference and Classical Modalities,' Technical Report, Carnegie Mellon University, CMU-PHIL-150, 2003
7. (forthcoming in the Journal of Philosophical Logic).
8. Awodey, S. 'Topological semantics for modal logic,' CMU, manuscript, April 2005.
9. Barwise, J. and Moss, L. Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, C S L I Publications, February 1996
10. Benthem, J.F.A.K. van, 'Two simple incomplete logics,' Theoria, 44, 25-37, 1978.
11. Benthem, J.F.A.K. van, 'Beyond Accessibility: Functional Models for Modal Logic,' in M. de Rijke, ed., "Diamonds and Defaults", Kluwer, Dordrecht, 1-18.
12. Blackburn, P, de Rijke, M and Yde Venema, Modal Logic, Cambridge Tracts in Theoretical Computer Science, 58, Cambridge University Press, 2001.
13. Chellas, B. Modal logic an introduction, Cambridge University Press, 1980.
14. Cresswell, M. J. 'In Defense of the Barcan Formula,' Logique et Analyse, 135-6, 271-282, 1991.
15. De Finetti, B. Theory of Probability, Vol I, Wiley Classics Library, John Wiley and Sons, New York, 1990.
16. Dubins, L.E. 'Finitely additive conditional probabilities, conglomerability, and disintegrations,' Ann. Prob. 3:89-99, 1975.
17. Fagin, R., Halpern, J. Y., Moses, Y. and Vardi, M Y. Reasoning about knowledge, MIT Press, Cambridge, Massachusetts, 1995.
18. M. Fitting, M. and Mendelsohn, R. First Order Modal Logic, Kluwer, Dordrecht, 1998.
19. Gaifman, H., and Snir, M. ' Probabilities Over Rich Languages, Testing and Randomness,' J. Symb. Log. 47(3): 495-548, 1982.
20. Garson, J. 'Unifying quantified modal logic,' forthcoming in Journal of Philosophical Logic.
21. Gerson, M. 'The inadequacy of neighborhood semantics for modal logic,' Journal of Symbolic Logic, bf 40, No 2, 141-8, 1975.
22. Gilio, A. 'Probabilistic reasoning under coherence in System P,' Annals of Mathematics and Artificial Intelligence, 34, 5-34, 2002.
23. Goldblatt, R. Logics of Time and Computation, volume 7 of Lecture Notes. CSLI Publications, second edition, 1992.
24. Halpern, J. 'Intransitivity and vagueness,' Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), 121-129, 2004.
25. Hansen, H.H. Monotonic modal logics, Master's thesis, ILLC, 2003.
26. Hughes, G.E. and Cresswell, M.J. A new introduction to modal logic, Routledge, 2001.
27. Kyburg, H. E. Jr. and Teng, C. M. 'The Logic of Risky Knowledge,' proceedings of WoLLIC, Brazil, 2002.
28. Lehmann, D., Magidor, M.: 1992, 'What does a conditional base entails?' Artificial Intelligence, 55, 1-60.
29. Levi, I.: 1996, For the sake of the argument: Ramsey test conditionals, Inductive Inference, and Nonmonotonic reasoning, Cambridge University Press, Cambridge.
30. Linsky, B. and Zalta, E. 'In Defense of the Simplest Quantified Modal Logic,' Philosophical Perspectives, 8, (Logic and Language), 431-458, 1994.
31. McKinsey, J. and Tarski, A. 'The algebra of topology', Annals of Mathematics, Vol. 45, 141-191.
32. Monk, D. 'An Introduction to Cylindric Set Algebras,' L. J. of the IGPL, Vol. 8 No. 4, pp. 451-492 2000
33. Montague, R. Universal Grammar, Theoria 36, 373- 98, 1970.
34. Parikh, R. 'The logic of games and its applications,' In M. Karpinski and J. van Leeuwen, editors, Topics in the Theory of Computation, Annals of Discrete Mathematics 24. Elsevier, 1985.
35. Pauly. M. 'A modal logic for coalitional power in games,' Journal of Logic and Computation, 12(1):149-166, 2002.
36. Rasiowa and Sikorski, Mathematics of metamathematics, Warsaw, 1963.
37. P. K. Schotch and R.E. Jennings. 'Inference and Necessity,' Journal of Philosophical Logic 9, 327-340, 1980.
38. Scott, D. 'Advice in modal logic,' K. Lambert (Ed.) Philosophical Problems in Logic, Dordrecht, Netherlands: Reidel, 143-73, 1970.
39. Scott, D. and Krauss, P. 'Assigning probability to logical formulas,' Aspects of Inductive Logic (Hintikka and Suppes, eds.), North-Holland, Amsterdam, 219-264, 1966.
40. Segerberg. K. An Essay in Classical Modal Logic, Number13 in Filosofisska Studier. Uppsala Universitet, 1971.
41. Vardi, M. Y. 'A model-theoretical abalysis of monotonic knowledge,' IJCAI'85, 509-512, 1985.
42. van Fraassen, B. C. Tine-grained opinion, probability, and the logic of full belief,' Journal of Philosophical Logic, XXIV: 349-77, 1995.
43. Williamson, T. 'Bare Possibilia,' Erkenntnis, 48, 257-273, 1998.