Linked bibliography for the SEP article "Philosophical Aspects of Multi-Modal Logic" by Sonja Smets and Fernando Velázquez-Quesada
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Ågotnes, Thomas, Hans van Ditmarsch,
and Yanjing Wang, 2018, “True Lies”, Synthese,
195(10): 4581–4615. doi:10.1007/s11229-017-1423-y
[Ågotnes et al. 2018 available online]
- Andersen, Mikkel B., Thomas Bolander,
Hans van Ditmarsch, and Martin H. Jensen, 2017, “Bisimulation
and Expressivity for Conditional Belief, Degrees of Belief, and Safe
Belief”, Synthese, 194(7): 2447–2487.
doi:10.1007/s11229-016-1060-x
- Areces, Carlos, and Diego Figueira, 2009,
“Which Semantics for Neighbourhood Semantics?” in Craig
Boutilier (ed.), IJCAI 2009, Proceedings of the 21st International
Joint Conference on Artificial Intelligence, Pasadena, California,
USA, July 11-17, 2009, pp. 671–676.
[Areces & Figueira available online]
- Armstrong, David Malet, 1973, Belief,
Truth and Knowledge, Cambridge: Cambridge University Press.
doi:10.1017/CBO9780511570827
- Balbiani, Philippe, Alexandru Baltag,
Hans P. van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, and Tiago De de
Lima, 2007, “What Can We Achieve by Arbitrary Announcements?: A
Dynamic Take on Fitch’s Knowability”, in Proceedings
of the 11th Conference on Theoretical Aspects of Rationality and
Knowledge: TARK ’07, Brussels, Belgium, ACM Press,
42–51. doi:10.1145/1324249.1324259
- –––, 2008,
“‘Knowable’ as ‘Known after an
Announcement’”, The Review of Symbolic Logic,
1(3): 305–334. doi:10.1017/S1755020308080210
- Baltag, Alexandru and Bryan Renne,
2016, “Dynamic Epistemic Logic”, The Stanford
Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta
(ed.). URL =
<https://plato.stanford.edu/archives/win2016/entries/dynamic-epistemic/>
- Baltag, Alexandru and Sonja Smets, 2006,
“Dynamic Belief Revision over Multi-Agent Plausibility
Models”, in Proceedings of the 7th Conference on Logic and
the Foundations of Game and Decision (LOFT 2006), Giacomo
Bonanno, Wiebe van der Hoek, and Michael Wooldridge (eds.), Liverpool,
UK: University of Liverpool, 11–24.
[Baltag & Smets 2006 available online]
- –––, 2008, “A
Qualitative Theory of Dynamic Interactive Belief Revision”, in
Logic and the Foundations of Game and Decision Theory (LOFT
7), Giacomo Bonanno, Wiebe van der Hoek, and Michael Wooldridge
(eds.), (Texts in Logic and Games 3), Amsterdam: Amsterdam University
Press, 13–60.
[Baltag & Smets 2008 available online]
- –––, 2022,
“Reasoning about quantum information: An overview of quantum
dynamic logic”, Applied Sciences, 12(9): 4458.
doi:10.3390/app12094458
- Baltag, Alexandru, Nick Bezhanishvili,
Aybüke Özgün, and Sonja Smets, 2013, “The
Topology of Belief, Belief Revision and Defeasible Knowledge”,
in Logic, Rationality, and Interaction: 4th International
Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Davide
Grossi, Olivier Roy, and Huaxin Huang (eds.), (Lecture Notes in
Computer Science 8196), Berlin, Heidelberg: Springer, 27–40.
doi:10.1007/978-3-642-40948-6_3
- –––, 2016, “Justified
Belief and the Topology of Evidence”, in Logic, Language,
Information, and Computation: 23rd International Workshop, Wollic
2016, Puebla, Mexico, August 16-19th, 2016, Jouko
Väänänen, Åsa Hirvonen, and Ruy de Queiroz
(eds.), (Lecture Notes in Computer Science 9803), Berlin, Heidelberg:
Springer, 83–103. doi:10.1007/978-3-662-52921-8_6
- Baltag, Alexandru, Rachel Boddy, and
Sonja Smets, 2018, “Group Knowledge in Interrogative
Epistemology”, in Jaakko Hintikka on Knowledge and
Game-Theoretical Semantics, Hans van Ditmarsch and Gabriel Sandu
(eds.), (Outstanding Contributions to Logic 12), Cham: Springer
International Publishing, 131–164.
doi:10.1007/978-3-319-62864-6_5
- Baltag, Alexandru, Zoé Christoff,
Rasmus K. Rendsvig, and Sonja Smets, 2019, “Dynamic Epistemic
Logics of Diffusion and Prediction in Social Networks”,
Studia Logica, 107(3): 489–531.
doi:10.1007/s11225-018-9804-x
- Baltag, Alexandru, Dazhu Li, and Mina Y.
Pedersen, 2022, “A modal logic for supervised learning”,
Journal of Logic, Language and Information, 31(2):
213–234. doi:10.1007/s10849-022-09359-w
- Baltag, Alexandru, Bryan Renne, and Sonja
Smets, 2012, “The Logic of Justified Belief Change, Soft
Evidence and Defeasible Knowledge”, in Logic, Language,
Information and Computation: 19th International Workshop, Wollic 2012,
Buenos Aires, Argentina, September 3-6, 2012, Luke Ong and Ruy de
Queiroz (eds.), (Lecture Notes in Computer Science 7456), Berlin,
Heidelberg: Springer, 168–190.
doi:10.1007/978-3-642-32621-9_13
- –––, 2014, “The Logic
of Justified Belief, Explicit Knowledge, and Conclusive
Evidence”, Annals of Pure and Applied Logic, 165(1):
49–81. doi:10.1016/j.apal.2013.07.005
- Barcan, Ruth C., 1946, “A Functional
Calculus of First Order Based on Strict Implication”, The
Journal of Symbolic Logic, 11(1): 1–16.
doi:10.2307/2269159
- Belardinelli, Gaia and Burkhard C.
Schipper, 2023, “Implicit knowledge in unawareness structures -
extended abstract”, in Proceedings of the 19th Conference on
Theoretical Aspects of Rationality and Knowledge (TARK 2023), Oxford,
United Kingdom, 28–30th June 2023, R. Verbrugge (ed.),
volume 379 of EPTCS, pp. 93–112. doi:10.4204/EPTCS.379.10
- Belnap, Nuel D., Michael Perloff, and Ming Xu,
2001, Facing the Future: Agents and Choices in Our Indeterminist
World, Oxford: Oxford University Press.
- van Benthem, Johan, 1979, “Minimal
Deontic Logic (Abstract)”, Bulletin of the Section of
Logic, 8(1): 36–41.
- –––, 1989,
“Semantic Parallels in Natural Language and Computation”,
in Logic Colloquium ’87, H.-D. Ebbinghaus, J.
Fernandez-Prida, M. Garrido, D. Lascar, and M. Rodriquez Artalejo
(eds.), (Studies in Logic and the Foundations of Mathematics 129),
Amsterdam, North-Holland: Elsevier, 331–375.
doi:10.1016/S0049-237X(08)70133-2
- –––, 2004,
“What One May Come to Know”, Analysis, 64(2):
95–105. doi:10.1093/analys/64.2.95
- –––, 2006a,
“‘One Is a Lonely Number’: Logic and
Communication”, in Logic Colloquium ’02, Zoe
Chatzidakis, Peter Koepke, and Wolfram Pohlers (eds.), Cambridge:
Cambridge University Press, 96–129.
doi:10.1017/9781316755723.006
- –––, 2006b,
“Open Problems in Logical Dynamics”, in Mathematical
Problems from Applied Logic I, Dov M. Gabbay, Sergei S.
Goncharov, and Michael Zakharyaschev (eds.), (International
Mathematical Series 4), New York: Springer New York, 137–192.
doi:10.1007/0-387-31072-X_3
- –––, 2007, “Dynamic
Logic for Belief Revision”, Journal of Applied Non-Classical
Logics, 17(2): 129–155. doi:10.3166/jancl.17.129-155
- –––, 2010, Modal
Logic for Open Minds, (CSLI Lecture Notes 199), Stanford, CA:
CSLI Publications.
- –––, 2011,
Logical Dynamics of Information and Interaction, Cambridge:
Cambridge University Press. doi:10.1017/CBO9780511974533
- –––, 2014, Logic
in Games, Cambridge, MA: The MIT Press.
- –––, 2019,
“Implicit and Explicit Stances in Logic”, Journal of
Philosophical Logic, 48(3): 571–601.
doi:10.1007/s10992-018-9485-y
- van Benthem, Johan and Cédric
Dégremont, 2010, “Bridges between Dynamic Doxastic and
Doxastic Temporal Logics”, in Logic and the Foundations of
Game and Decision Theory: LOFT 8, Giacomo Bonanno, Benedikt
Löwe, and Wiebe van der Hoek (eds.), (Lecture Notes in Computer
Science 6006), Berlin, Heidelberg: Springer, 151–173.
doi:10.1007/978-3-642-15164-4_8
- van Benthem, Johan and Ştefan
Minică, 2012, “Toward a Dynamic Logic of Questions”,
Journal of Philosophical Logic, 41(4): 633–669.
doi:10.1007/s10992-012-9233-7
- van Benthem, Johan, Guram Bezhanishvili,
Balder ten Cate, and Darko Sarenac, 2007, “Multimodal Logics of
Products of Topologies”, Studia Logica, 84(3):
369–392. doi:10.1007/s11225-006-9013-x
- van Benthem, Johan, Jan van Eijck, and
Barteld Kooi, 2006, “Logics of Communication and Change”,
Information and Computation, 204(11): 1620–1662.
doi:10.1016/j.ic.2006.04.006
- van Benthem, Johan, David
Fernández-Duque, and Eric Pacuit, 2014, “Evidence and
Plausibility in Neighborhood Structures”, Annals of Pure and
Applied Logic, 165(1): 106–133.
doi:10.1016/j.apal.2013.07.007
- van Benthem, Johan, Jelle Gerbrandy,
Tomohiro Hoshi, and Eric Pacuit, 2009, “Merging Frameworks for
Interaction”, Journal of Philosophical Logic, 38(5):
491–526. doi:10.1007/s10992-008-9099-x
- van Benthem, Johan, Jelle Gerbrandy, and Eric
Pacuit, 2007, “Merging Frameworks for Interaction: DEL and
ETL”, in Proceedings of the 11th Conference on Theoretical
Aspects of Rationality and Knowledge (TARK ’07), Brussels,
Belgium, June 25–27, 2007, ACM Press, 72–81.
doi:10.1145/1324249.1324262
- van Benthem, Johan and Eric Pacuit, 2006,
“The Tree of Knowledge in Action: Towards a Common
Perspective”, in Advances in Modal Logic 6, Papers from the
Sixth Conference on “Advances in Modal Logic”, Held in
Noosa, Queensland, Australia, on 25-28 September 2006, Guido
Governatori, Ian M. Hodkinson, & Yde Venema (eds.), London:
College Publications, 87–106,
[Benthem and Pacuit 2006 available online]
- –––, 2011,
“Dynamic Logics of Evidence-Based Beliefs”, Studia
Logica, 99(1–3): 61–92.
doi:10.1007/s11225-011-9347-x
- van Benthem, Johan, Eric Pacuit,
and Olivier Roy, 2011, “Toward a theory of play: A logical
perspective on games and interaction”, Games, 2(1):
52–86. doi:10.3390/g2010052
- van Benthem, Johan and Fernando
R. Velázquez-Quesada, 2010, “The dynamics of
awareness”, Synthese (Knowledge, Rationality and
Action), 177(Supplement 1): 5–27.
doi:10.1007/s11229-010-9764-9
- Blackburn, Patrick and Johan van
Benthem, 2006, “Modal Logic: A Semantic Perspective”, in
Studies in Logic and Practical Reasoning, Volume 3, Patrick
Blackburn, Johan van Benthem, and Frank Wolter (eds.), Amsterdam:
Elsevier, 1–84. doi:10.1016/S1570-2464(07)80004-8
[Blackburn & Benthem available online]
- Blackburn, Patrick, Maarten de
Rijke, and Yde Venema, 2001, Modal Logic, Cambridge:
Cambridge University Press. doi:10.1017/CBO9781107050884
- Board, Oliver, 2004, “Dynamic Interactive
Epistemology”, Games and Economic Behavior, 49(1):
49–80. doi:10.1016/j.geb.2003.10.006
- Boddy, Rachel, 2014, Epistemic Issues and
Group Knowledge, Master’s thesis, Institute for Logic,
Language; Computation (University of Amsterdam).
[Boddy 2014 available online]
- Boutilier, Craig and Veronica Beche, 1995,
“Abduction as Belief Revision”, Artificial
Intelligence, 77(1): 43–94.
doi:10.1016/0004-3702(94)00025-V
- Brandenburger, Adam and H. Jerome
Keisler, 2006, “An Impossibility Theorem on Beliefs in
Games”, Studia Logica, 84(2): 211–240.
doi:10.1007/s11225-006-9011-z
- Bratman, Michael E., 1987, Intention,
Plans, and Practical Reason, Cambridge, MA: Harvard University
Press.
- Broersen, Jan, 2006, “Strategic Deontic
Temporal Logic as a Reduction to ATL, with an Application to
Chisholm’s Scenario”, in Goble and Meyer 2006:
53–68. doi:10.1007/11786849_7
- –––, 2011, “Deontic
Epistemic Stit Logic Distinguishing Modes of Mens Rea”,
Journal of Applied Logic, 9(2): 137–152.
doi:10.1016/j.jal.2010.06.002
- Broersen, Jan, Frank Dignum, Virginia
Dignum, and John-Jules Ch. Meyer, 2004, “Designing a Deontic
Logic of Deadlines”, in Deontic Logic in Computer Science:
7th International Workshop on Deontic Logic in Computer Science, DEON
2004, Madeira, Portugal, May 26-28, 2004, Alessio Lomuscio and
Donald Nute (eds.), Berlin, Heidelberg: Springer, 43–56.
doi:10.1007/978-3-540-25927-5_5
- Brunel, Julien, Jean-Paul Bodeveix, and Mamoun
Filali, 2006, “A State/Event Temporal Deontic Logic”, in
Goble and Meyer 2006: 85–100. doi:10.1007/11786849_9
- Carnielli, Walter and Marcelo Esteban
Coniglio, 2016, “Combining Logics”, in The Stanford
Encyclopedia of Philosophy (Winter 2016 Edition), Edward N. Zalta
(ed.). URL =
<https://plato.stanford.edu/archives/win2016/entries/logic-combining/>
- Carnielli, Walter, Marcelo Coniglio,
Dov M. Gabbay, Paula Gouveia, and Cristina Sernadas, 2008,
Analysis and Synthesis of Logics, (Applied Logic Series 35),
Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-6782-2
- Chalmers, David, 2006, “The Foundations
of Two-Dimensional Semantics”, in Two-Dimensional Semantics:
Foundations and Applications, Manuel García-Carpintero
& Josep Macià (eds.), Oxford: Oxford University Press, pp.
55–140.
[Chalmers 2006 available online]
- Chalmers, David J., 2009, “The
Two-Dimensional Argument Against Materialism”, in The Oxford
Handbook of Philosophy of Mind, Ansgar Beckermann, Brian P.
McLaughlin, & Sven Walter (eds.), Oxford: Oxford University Press,
pp. 313–335,. doi:10.1093/oxfordhb/9780199262618.003.0019
- Clark, Michael, 1963, “Knowledge and
Grounds: A Comment on Mr. Gettier’s Paper”,
Analysis, 24(2): 46–48. doi:10.1093/analys/24.2.46
- Cohen, Philip R. and Hector J. Levesque, 1990,
“Intention Is Choice with Commitment”, Artificial
Intelligence, 42(2–3): 213–261.
doi:10.1016/0004-3702(90)90055-5
- Cross, Charles and Floris Roelofsen, 2018,
“Questions”, in The Stanford Encyclopedia of
Philosophy (Spring 2018 Edition), Edward N. Zalta (ed.). URL =
<https://plato.stanford.edu/archives/spr2018/entries/questions/>
- Dégremont, Cédric, 2010,
The Temporal Mind: Observations on Belief Change in Temporal
Systems, PhD thesis, Institute for Logic, Language; Computation
(ILLC), Universiteit van Amsterdam (UvA), Amsterdam, The Netherlands.
[Dégremont 2010 available online]
- Demolombe, Robert, 2014, “Obligations
with Deadlines: A Formalization in Dynamic Deontic Logic”,
Journal of Logic and Computation, 24(1): 1–17.
doi:10.1093/logcom/exs015
- Demolombe, Robert, Philippe Bretier, and
Vincent Louis, 2006, “Norms with Deadlines in Dynamic Deontic
Logic”, in ECAI 2006, 17th European Conference on Artificial
Intelligence, August 29–September 1, 2006, Riva Del Garda,
Italy, Including Prestigious Applications of Intelligent Systems (PAIS
2006), Gerhard Brewka, Silvia Coradeschi, Anna Perini, &
Paolo Traverso (eds.), (Frontiers in Artificial Intelligence and
Applications 141), IOS Press, pp. 751–752.
- van Ditmarsch, Hans, 2014, “Dynamics of
Lying”, Synthese, 191(5): 745–777.
doi:10.1007/s11229-013-0275-3
- van Ditmarsch, Hans and Barteld Kooi, 2006,
“The Secret of My Success”, Synthese, 151(2):
201–232. doi:10.1007/s11229-005-3384-9
- van Ditmarsch, Hans, Jan van Eijck, Floor
Sietsma, and Yanjing Wang, 2012, “On the Logic of Lying”,
in Games, Actions and Social Software: Multidisciplinary
Aspects, Jan van Eijck and Rineke Verbrugge (eds.), Berlin,
Heidelberg: Springer, 41–72.
doi:10.1007/978-3-642-29326-9_4
- van Ditmarsch, Hans, Wiebe van der
Hoek, and Barteld Kooi, 2007, Dynamic Epistemic Logic,
Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-5839-4
- Dubber, Markus D., 2002, Criminal Law: Model
Penal Code, Foundation Press.
- Engeler, Erwin, 1967, “Algorithmic
Properties of Structures”, Mathematical Systems Theory,
1(2): 183–195. doi:10.1007/BF01705528
- Fagin, Ronald and Joseph. Y. Halpern,
1988, “Belief, awareness, and limited reasoning”,
Artificial Intelligence, 34(1): 39–76.
doi:10.1016/0004-3702(87)90003-8
- Fagin, Ronald, Joseph Y. Halpern, Yoram Moses,
and Moshe Y. Vardi, 1995, Reasoning about Knowledge,
Cambridge, MA: The MIT Press.
- Fine, Kit, 2017, “Truthmaker
Semantics”, in A Companion to the Philosophy of
Language, second edition, Bob Hale, Crispin Wright, and Alexander
Miller (eds.), Chichester, UK: John Wiley & Sons, Ltd, 2:
556–577. doi:10.1002/9781118972090.ch22
- Fine, Kit and Gerhard Schurz, 1996,
“Transfer Theorems for Multimodal Logics”, in Logic
and Reality: Essays on the Legacy of Arthur Prior, B.J. Copeland
(ed.), Oxford: Oxford University Press, pp. 169–213.
- French, Tim, Wiebe van der Hoek, Petar Iliev,
and Barteld Kooi, 2013, “On the Succinctness of Some Modal
Logics”, Artificial Intelligence, 197): 56–85.
doi:10.1016/j.artint.2013.02.003
- Gabbay, Dov M. (ed.), 1999, Fibring
Logics, (Oxford Logic Guides 38), Oxford, UK: Clarendon
Press.
- Gabbay, Dov M., Agi Kurucz, Frank Wolter,
and Michael Zakharyaschev, 2003, Many-Dimensional Modal Logics:
Theory and Applications, (Studies in Logic and the Foundations of
Mathematics 148), North Holland: Elsevier.
- Gargov, George and Solomon Passy, 1990,
“A Note on Boolean Modal Logic”, in Mathematical
Logic, Petio Petrov Petkov (ed.), Plenum Press, 311–321.
doi:10.1007/978-1-4613-0609-2_21
- Gargov, George, Solomon Passy, and
Tinko Tinchev, 1987, “Modal Environment for Boolean
Speculations”, in Mathematical Logic and Its
Applications, Dimiter G. Skordev (ed.), Boston, MA: Springer US,
253–263. doi:10.1007/978-1-4613-0897-3_17
- Garson, James, 2018, “Modal
Logic”, in The Stanford Encyclopedia of Philosophy
(Fall 2018 Edition), Edward N. Zalta (ed.). URL =
<https://plato.stanford.edu/archives/fall2018/entries/logic-modal/>
- Gettier, Edmund L., 1963, “Is Justified
True Belief Knowledge?”, Analysis, 23(6):
121–123. doi:10.1093/analys/23.6.121
- Gilbert, Margaret, 1987, “Modelling
Collective Belief”, Synthese, 73(1): 185–204.
doi:10.1007/BF00485446
- Goble, Lou and John-Jules Ch. Meyer (eds.), 2006, Deontic
Logic and Artificial Normative Systems: 8th International Workshop on
Deontic Logic in Computer Science, DEON 2006, Utrecht, The
Netherlands, July 12-14, 2006, (Lecture Notes in Computer Science
4048), Berlin, Heidelberg: Springer. doi:10.1007/11786849 (Scholar)
- Gochet, Paul and Pascal Gribomont,
2006, “Epistemic Logic”, in Handbook of the History of
Logic, Volume 7: Logic and the Modalities in the Twentieth
Century, Dov M. Gabbay & John Woods (eds.), Amsterdam:
North-Holland, 99–195. doi:10.1016/S1874-5857(06)80028-2
- Goldblatt, Robert I., 1974, “Semantic
Analysis of Orthologic”, Journal of Philosophical
Logic, 3(1–2): 19–35. doi:10.1007/BF00652069
- Goranko, Valentin and Solomon Passy, 1992,
“Using the Universal Modality: Gains and Questions”,
Journal of Logic and Computation, 2(1): 5–30.
doi:10.1093/logcom/2.1.5
- Governatori, Guido, Joris Hulstijn,
Régis Riveret, and Antonino Rotolo, 2007, “Characterising
Deadlines in Temporal Modal Defeasible Logic”, in AI 2007:
Advances in Artificial Intelligence, 20th Australian Joint Conference
on Artificial Intelligence, Gold Coast, Australia, December 2-6,
2007, Mehmet A. Orgun and John Thornton (eds.), (Lecture Notes in
Computer Science 4830), Berlin, Heidelberg: Springer, 486–496.
doi:10.1007/978-3-540-76928-6_50
- Governatori, Guido, Vineet Padmanabhan,
and Abdul Sattar, 2002, “On Fibring Semantics for BDI
Logics”, in Logics in Artificial Intelligence: European
Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Sergio
Flesca, Sergio Greco, Giovambattista Ianni, and Nicola Leone (eds.),
(Lecture Notes in Computer Science 2424), Berlin, Heidelberg:
Springer, 198–210. doi:10.1007/3-540-45757-7_17
- Grove, Adam, 1988, “Two Modellings for
Theory Change”, Journal of Philosophical Logic, 17(2).
doi:10.1007/BF00247909
- Grüne-Yanoff, Till and Sven Ove Hansson,
2009, “Preference Change: An Introduction”, in
Preference Change, Till Grüne-Yanoff and Sven Ove
Hansson (eds.), Dordrecht: Springer Netherlands, 1–26.
doi:10.1007/978-90-481-2593-7_1
- Halpern, Joseph Y., Ron van der Meyden, and
Moshe Y. Vardi, 2004, “Complete Axiomatizations for Reasoning
about Knowledge and Time”, SIAM Journal on Computing,
33(3): 674–703. doi:10.1137/S0097539797320906
- Halpern, Joseph Y. and Leandro C.
Rêgo, 2009, “Reasoning about knowledge of
unawareness”, Games and Economic Behavior, 67(2):
503–525. doi:10.1016/j.geb.2009.02.001
- Halpern, Joseph Y., Dov Samet, and Ella
Segev, 2009a, “Defining Knowledge in Terms of Belief: The Modal
Logic Perspective”, The Review of Symbolic Logic,
2(03): 469. doi:10.1017/S1755020309990141
- –––, 2009b, “On
Definability in Multimodal Logic”, The Review of Symbolic
Logic, 2(03): 451. doi:10.1017/S175502030999013X
- Halpern, Joseph Y. and Moshe Y. Vardi, 1989,
“The Complexity of Reasoning about Knowledge and Time. I. Lower
Bounds”, Journal of Computer and System Sciences,
38(1): 195–237. doi:10.1016/0022-0000(89)90039-1
- Harel, David, Dexter Kozen, and
Jerzy Tiuryn, 2000, Dynamic Logic, Cambridge, MA: MIT
Press.
- Hartshorne, Charles and Paul Weiss (eds.), 1934,
Collected Papers of Charles S. Peirce Vol. V (Pragmatism and
Pramaticism) and VI (Scientific Metaphysics), Cambridge: Belknap
Press.
- Herzig, Andreas, Emiliano Lorini, Laurent
Perrussel, and Zhanhao Xiao, 2017, “BDI Logics for BDI
Architectures: Old Problems, New Perspectives”,
Künstliche Intelligenz, 31(1): 73–83.
doi:10.1007/s13218-016-0457-5
- Hintikka, Jaakko, 1962, Knowledge and
Belief: An Introduction to the Logic of the Two Notions, Ithaca,
NY: Cornell University Press.
- –––, 2007, Socratic
Epistemology: Explorations of Knowledge-Seeking by Questioning,
Cambridge: Cambridge University Press.
- Hintikka, Jaakko, Ilpo Halonen, and Arto
Mutanen, 2002, “Interrogative Logic as a General Theory of
Reasoning”, in Handbook of the Logic of Argument and
Inference, Dov M. Gabbay, Ralph H. Johnson, Hans Jürgen
Ohlbach, and John Woods (eds.), Amsterdam: Elsevier,
295–337.
- Hoare, Charles Antony Richard, 1969, “An
axiomatic basis for computer programming”, Communications of
the ACM, 12(10): 576–580. doi:10.1145/363235.363259
- van der Hoek, Wiebe, Wojciech Jamroga, and
Michael Wooldridge, 2007, “Towards a Theory of Intention
Revision”, Synthese, 155(2): 265–290.
doi:10.1007/s11229-006-9145-6
- van der Hoek, Wiebe, Bernd van Linder, and
John-Jules Ch. Meyer, 1999, “An Integrated Modal Approach to
Rational Agents”, in Foundations of Rational Agency,
Michael Wooldridge and Anand Rao (eds.), (Applied Logic Series 14),
Dordrecht: Springer Netherlands, 133–167.
doi:10.1007/978-94-015-9204-8_7
- Holliday, Wesley H. and Thomas F. Icard III,
2010, “Moorean Phenomena in Epistemic Logic”, in
Advances in Modal Logic 8, Papers from the Eighth Conference on
“Advances in Modal Logic”, Held in Moscow, Russia, 24-27
August 2010, Lev D. Beklemishev, Valentin Goranko, & Valentin
B. Shehtman (eds.), College Publications, pp. 178–199.
[Holliday and Icard 2010 available online]
- Holliday, Wesley H., Tomohiro Hoshi, and
Thomas F. Icard III, 2012, “A Uniform Logic of Information
Dynamics”, in Advances in Modal Logic 9, Papers from the
Ninth Conference on “Advances in Modal Logic”, Held in
Copenhagen, Denmark, 22-25 August 2012, Thomas Bolander, Torben
Braüner, Silvio Ghilardi, & Lawrence S. Moss (eds.), College
Publications, pp. 348–367.
[Holliday, Hoshi, et al. 2012 available online
- –––, 2013,
“Information Dynamics and Uniform Substitution”,
Synthese, 190(S1): 31–55.
doi:10.1007/s11229-013-0278-0
- Icard III, Thomas F., Eric Pacuit, and Yoav
Shoham, 2010, “Joint Revision of Belief and Intention”, in
Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, KR 2010, Toronto, Ontario,
Canada, May 9-13, 2010, Fangzhen Lin, Ulrike Sattler, &
Miroslaw Truszczynski (eds.), AAAI Press.
[Icard, Pacuit, and Shoham 2010 available online]
- Ichikawa, Jonathan Jenkins and
Matthias Steup, 2018, “The Analysis of Knowledge”, in
The Stanford Encyclopedia of Philosophy (Summer 2018
Edition), Edward N. Zalta (ed.). URL =
<https://plato.stanford.edu/archives/sum2018/entries/knowledge-analysis/>
- Kaplan, David, 1989, “Demonstratives. an
Essay on the Semantics, Logic, Metaphysics, and Epistemology of
Demonstratives and Other Indexicals”, in Themes from
Kaplan, Joseph Almog, John Perry, & Howard Wettstein (eds.),
Oxford: Oxford University Press, pp. 481–563.
- Kleene, Stephen C., 1956,
“Representation of Events in Nerve Nets and Finite
Automata”, in Automata Studies, Claude E. Shannon &
John McCarthy (eds.), Princeton, NJ: Princeton University Press, pp.
3–42.
- Klein, Peter D., 1971, “A Proposed
Definition of Propositional Knowledge”, The Journal of
Philosophy, 68(16): 471. doi:10.2307/2024845
- Kracht, Marcus and Frank Wolter, 1991,
“Properties of Independently Axiomatizable Bimodal
Logics”, The Journal of Symbolic Logic, 56(4):
1469–1485. doi:10.2307/2275487
- –––, 1997, “Simulation
and Transfer Results in Modal Logic: A Survey”, Studia
Logica, 59(2): 149–177. doi:10.1023/A:1004900300438
- Kurucz, Agi, 2006, “Combining Modal
Logics”, in Handbook of Modal Logic, Vol. 3, Patrick
Blackburn, Johan van Benthem, & Frank Wolter (eds.), Amsterdam:
Elsevier Science, pp. 869–924.
- Lakemeyer, Gerhard, 1986, “Steps
towards a first-order logic of explicit and implicit belief”, in
Proceedings of the 1st Conference on Theoretical Aspects of
Rationality and Knowledge (TARK), J. Y. Halpern (ed.), San
Francisco: Morgan Kaufmann, pp. 325–340.
- Lehrer, Keith, 1990, Theory of
Knowledge, London, UK: Routledge.
- Lehrer, Keith and Thomas Paxson, Jr, 1969,
“Knowledge: Undefeated Justified True Belief”, The
Journal of Philosophy, 66(8): 225–237.
doi:10.2307/2024435
- Lenzen, Wolfgang, 1978, Recent Work in
Epistemic Logic, North-Holland: Acta Philosophica Fennica.
- Levesque, Hector J., 1984, “A logic of
implicit and explicit belief”, in Proceedings of the
National Conference on Artificial Intelligence. Austin, TX, August
6-10, R. J. Brachman (ed.), AAAI Press, pp. 198–202.
[Levesque 1984 available online]
- –––, 1989, “A
Knowledge-Level Account of Abduction”, in Proceedings of the
11th International Joint Conference on Artificial Intelligence.
Detroit, MI, USA, August 1989, N.S. Stidharan (ed.), Morgan
Kaufmann, 1061–1067.
[Levesque 1989 available online]
- Liu, Fenrong, 2011, Reasoning about Preference
Dynamics, (Synthese Library 354), Dordrecht: Springer
Netherlands. doi:10.1007/978-94-007-1344-4
- Lorini, Emiliano, 2020, “Rethinking
epistemic logic with belief bases”, Artificial
Intelligence, 282: 103233. doi:10.1016/j.artint.2020.103233
- Lorini, Emiliano, Mehdi Dastani, Hans van
Ditmarsch, Andreas Herzig, and John-Jules Meyer, 2009,
“Intentions and Assignments”, in Logic, Rationality,
and Interaction: Second International Workshop, LORI 2009, Chongqing,
China, October 8-11, 2009. Proceedings, Xiangdong He, John Horty,
and Eric Pacuit (eds.) (Lecture Notes in Computer Science 5834),
Berlin, Heidelberg: Springer, 198–211.
doi:10.1007/978-3-642-04893-7_16
- Lutz, Carsten, 2006, “Complexity and
Succinctness of Public Announcement Logic”, in 5th
International Joint Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, Hideyuki
Nakashima, Michael P. Wellman, Gerhard Weiss, and Peter Stone (eds.),
ACM Press, 137–143. doi:10.1145/1160633.1160657
- Ma, Minghui and Ahti-Veikko Pietarinen, 2016,
“A Dynamic Approach to Peirce’s Interrogative Construal of
Abductive Logic”, IfCoLog Journal of Logics and Their
Applications, 3(1): 73–104.
[Ma and Pietarinen 2016 available online]
- Marx, Maarten and Yde Venema, 1997,
Multi-Dimensional Modal Logic, (Applied Logic Series 4),
Dordrecht: Springer Netherlands. doi:10.1007/978-94-011-5694-3
- Montague, Richard, 1970, “Universal
Grammar”, Theoria, 36(3): 373–398.
doi:10.1111/j.1755-2567.1970.tb00434.x
- Nortmann, Ulrich, 2002, “The Logic of
Necessity in Aristotle: an Outline of Approaches to the Modal
Syllogistic, Together with a General Account of de Dicto—and de
Re—Necessity”, History and Philosophy of Logic,
23(4): 253–265. doi:10.1080/0144534021000050506
- Pacuit, Eric, 2007, “Understanding the
Brandenburger-Keisler Paradox”, Studia Logica, 86(3):
435–454. doi:10.1007/s11225-007-9069-2
- Pacuit, Eric and Olivier Roy, 2017,
“Epistemic Foundations of Game Theory”, in The
Stanford Encyclopedia of Philosophy (Summer 2017 Edition), Edward
N. Zalta (ed.). URL =
<https://plato.stanford.edu/archives/sum2017/entries/epistemic-game/>
- Pacuit, Eric, Rohit Parikh, and Eva Cogan,
2006, “The Logic of Knowledge Based Obligation”,
Synthese, 149(2): 311–341.
doi:10.1007/s11229-005-3877-6
- Parikh, Rohit and Ramaswamy Ramanujam, 2003,
“A Knowledge Based Semantics of Messages”, Journal of
Logic, Language and Information, 12(4): 453–467.
doi:10.1023/A:1025007018583
- Peirce, Charles S., 1967, “Manuscripts in
the Houghton Library of Harvard University, as Identified by Richard
Robin”, in Annotated Catalogue of the Papers of Charles S.
Peirce, Amherst: University of Massachusetts Press.
- Quinton, Anthony, 1976, “The Presidential
Address : Social Objects”, Proceedings of the
Aristotelian Society, 76(1): 1–28.
doi:10.1093/aristotelian/76.1.1
- Rao, Anand S. and Michael P. Georgeff, 1991,
“Modeling Rational Agents Within a Bdi-Architecture”, in
Proceedings of the 2nd International Conference on Principles of
Knowledge Representation and Reasoning (Kr’91). Cambridge, Ma,
Usa, April 22–25, 1991., James F. Allen, Richard Fikes,
& Erik Sandewall (eds.), Morgan Kaufmann, pp. 473–484.
- Roy, Olivier, 2008, Thinking Before Acting.
Intentions, Logic, Rational Choice, PhD thesis, Institute for
Logic, Language; Computation (ILLC), Universiteit van Amsterdam (UvA),
Amsterdam, The Netherlands.
[Roy 2008 available online]
- Schurz, Gerhard, 1991, “How Far Can
Hume’s Is-Ought Thesis Be Generalized?: An Investigation in
Alethic-Deontic Modal Predicate Logic”, Journal of
Philosophical Logic, 20(1): 37–95.
doi:10.1007/BF00454742
- –––, 2011, “Combinations
and Completeness Transfer for Quantified Modal Logics”,
Logic Journal of IGPL, 19(4): 598–616.
doi:10.1093/jigpal/jzp085
- Scott, Dana, 1970, “Advice on Modal
Logic”, in Philosophical Problems in Logic, Karel
Lambert (ed.), Dordrecht: Springer Netherlands, 143–173.
doi:10.1007/978-94-010-3272-8_7
- Segerberg, Krister, 1973,
“Two-Dimensional Modal Logic”, Journal of
Philosophical Logic, 2(1): 77–96.
doi:10.1007/BF02115610
- Segerberg, Krister, John-Jules Meyer,
and Marcus Kracht, 2016, “The Logic of Action”, in The
Stanford Encyclopedia of Philosophy (Winter 2016 Edition), Edward
N. Zalta (ed.). URl =
<https://plato.stanford.edu/archives/win2016/entries/logic-action/>
- Šehtman, Valentin B., 1978,
“Two-Dimensional Modal Logic”, Matematicheskie
Zametki, 23(5): 759–772.
[Šehtman 1978 available online]
- Seligman, Jeremy, Fenrong Liu, and Patrick
Girard, 2011, “Logic in the Community”, in Logic and
Its Applications, Mohua Banerjee and Anil Seth (eds.), (Lecture
Notes in Computer Science 6521), Berlin, Heidelberg: Springer,
178–188. doi:10.1007/978-3-642-18026-2_15
- –––, 2013, “Facebook
and the Epistemic Logic of Friendship”, in Proceedings of
the 14th Conference on Theoretical Aspects of Rationality and
Knowledge (TARK 2013), Chennai, India, January 7-9, 2013,
Burkhard C. Schipper (ed.), pp. 229–238.
[Seligman, Liu, and Girard 2013 available online]
- Shope, Robert K., 1983, The Analysis of
Knowing. a Decade of Research, Princeton, ,NJ: Princeton
University Press.
- Singh, Munindar P., 1998, “Semantical
Considerations on Intention Dynamics for BDI Agents”,
Journal of Experimental & Theoretical Artificial
Intelligence, 10(4): 551–564.
doi:10.1080/095281398146752
- Smets, Sonja, and Fernando R.
Velázquez-Quesada, 2017, “How to Make Friends: A Logical
Approach to Social Group Creation”, in Logic, Rationality,
and Interaction - Proceedings of the 6th International Workshop, LORI
2017, A. Baltag, J. Seligman, & T. Yamada (ed.), Berlin,
Heidelberg: Springer, 377–390
doi:10.1007/978-3-662-55665-8_26
- Spohn, Wolfgang, 1988, “Ordinal
Conditional Functions: A Dynamic Theory of Epistemic States”, in
Causation in Decision, Belief Change, and Statistics: Proceedings
of the Irvine Conference on Probability and Causation, William L.
Harper and Brian Skyrms (eds.), Dordrecht: Springer Netherlands,
105–134. doi:10.1007/978-94-009-2865-7_6
- Stalnaker, Robert, 1978,
“Assertion”, in Pragmatics, Peter Cole (ed.), New
York: Academic Press, pp. 315–332.
- –––, 1991, “The
problem of logical omniscience, I”, Synthese, 89(3):
425–440. doi:10.1007/BF00413506
- –––, 2006, “On Logics
of Knowledge and Belief”, Philosophical Studies,
128(1): 169–199. doi:10.1007/s11098-005-4062-y
- Swain, Marshall, 1974, “Epistemic
Defeasibility”, The American Philosophical Quarterly,
11(1): 15–25.
- Thomason, Richmond H., 1984,
“Combinations of Tense and Modality”, in Handbook of
Philosophical Logic, volume 2, Dov Gabbay and Franz Guenthner
(eds.), Dordrecht: Springer Netherlands, 135–165.
doi:10.1007/978-94-009-6259-0_3
- Troquard, Nicolas and Philippe
Balbiani, 2019, “Propositional Dynamic Logic”, in The
Stanford Encyclopedia of Philosophy (Spring 2019 Edition), Edward
N. Zalta (ed.). URL =
<https://plato.stanford.edu/archives/spr2019/entries/logic-dynamic/>;
- Velázquez-Quesada, Fernando
R., 2013, “Explicit and implicit knowledge in neighbourhood
models”, in Logic, Rationality, and Interaction -
Proceedings of the 4th International Workshop, LORI 2013, D.
Grossi, O. Roy, and H. Huang (ed.), Berlin, Heidelberg: Springer,
239–252.
- –––, 2015, “Reasoning
Processes as Epistemic Dynamics”, Axiomathes, 25(1):
41–60. doi:10.1007/s10516-014-9255-6
- –––, 2017, “On
Subtler Belief Revision Policies”, in Logic, Rationality,
and Interaction - Proceedings of the 6th International Workshop, LORI
2017, A. Baltag, J. Seligman, & T. Yamada (ed.), Berlin,
Heidelberg: Springer, 314–329
doi:10.1007/978-3-662-55665-8_22
- Velázquez-Quesada, Fernando R., Fernando
Soler-Toscano, and Ángel Nepomuceno-Fernández, 2013,
“An Epistemic and Dynamic Approach to Abductive Reasoning:
Abductive Problem and Abductive Solution”, Journal of
Applied Logic, 11(4): 505–522.
doi:10.1016/j.jal.2013.07.002
- Venema, Yde, 1992, Many-Dimensional Modal
Logic, PhD thesis, Universiteit van Amsterdam, Amsterdam, The
Netherlands.
[Venema 1992 available online]
- Voorbraak, Frans, 1993, As Far as I Know.
Epistemic Logic and Uncertainty, PhD thesis, Department of
Philosophy, University of Utrecht, Utretch, The Netherlands.
- Williamson, Timothy, 2002, Knowledge and
Its Limits, Oxford: Oxford University Press.
doi:10.1093/019925656X.001.0001
- Wolter, Frank, 1998, “Fusions of Modal
Logics Revisited”, in Advances in Modal Logic, Volume
1, Marcus Kracht, Maarten de Rijke, Heinrich Wansing, &
Michael Zakharyaschev (eds.), (CSLI Lecture Notes 87), Stanford, CA:
CSLI Publications, pp. 361–379.
- Wooldridge, Michael, 2000, Reasoning
About Rational Agents, Cambridge, MA: The MIT Press.
- Yablo, Stephen, 1985, “Truth and
Reflection”, Journal of Philosophical Logic, 14(3):
297–349. doi:10.1007/BF00249368
- –––, 1993, “Paradox
without Self-Reference”, Analysis, 53(4):
251–252. doi:10.1093/analys/53.4.251