Linked bibliography for the SEP article "Logic and Information" by Maricarmen Martinez and Sebastian Sequoiah-Grayson
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.
- Abramsky, S., 2008, “Information, Processes, and
Games”, in Adriaans and van Benthem 2008, 483–550. (Scholar)
- Abramsky, S. and A. Jung, 1994, “Domain Theory”, in
Handbook of Logic in Computer Science, S. Abramsky, D.
Gabbat, and T. S. E. Maibaum (eds.), Oxford: Oxford University Press,
1–168. (Scholar)
- Aczel, P., 1988, Non-well-founded Sets, (CSLI Lecture Notes 14), Stanford: CSLI Publications. (Scholar)
- Adriaans, P. and J. F. A. K. van Benthem (eds.), 2008, Philosophy of Information (Handbook of the Philosophy of Science: Volume 8), Amsterdam: North Holland. (Scholar)
- Allo, P., 2009, “Reasoning about Data and Information”, Synthese, 167: 231–249. (Scholar)
- –––, 2017, “Hard and Soft Logical
Information”, Logic and Computation, 27(8):
2505–2524. (Scholar)
- Artemov, S., 2008, “The Logic of Justification”, Review of Symbolic Logic, 1(4): 477–513. (Scholar)
- Artemov, S. and M. Fitting, 2012, “Justification Logic”, The Stanford Encyclopedia of Philosophy (Fall 2012 Edition), Edward N. Zalta (ed.), URL=<https://plato.stanford.edu/archives/fall2012/entries/logic-justification/> (Scholar)
- Aucher, G. 2014, “Dynamic Epistemic Logic as a Substructural
Logic”, in A. Baltag and S. Smets (eds.) 2014:
855–880. (Scholar)
- –––, 2015, “When Conditional Logic and
Belief Revision meet Substructural Logics”, Proceedings of
the International Workshop on Defeasible and Ampliative Reasoning
(DARe-15),
available online. (Scholar)
- –––, 2016, “Dynamic Epistemic Logic in
Update Logic”, Journal of Logic and Computation, 26(6):
1913–1960. (Scholar)
- Awodey, S., 2006, Category Theory (Oxford Logic Guides: Volume 49), Oxford: Clarendon Press. (Scholar)
- Baltag, A., 2016, “To Know is to Know the Value of a Variable”, Advances in Modal Logic, 11: 135–155. (Scholar)
- Baltag, A., and J. van Benthem, 2021, “A Simple Logic of Functional Dependence”, Journal of Philosophical Logic, 50: 939–1005. (Scholar)
- Baltag, A., B. Coecke, and M. Sadrzadeh, 2007, “Epistemic
Actions as Resources”, Journal of Logic and
Computation, 17(3): 555–585. (Scholar)
- Baltag A., H. P. van Ditmarsch, and L. S. Moss, 2008, “Epistemic Logic and Information Update”, in Adriaans and van Benthem, 2008: 361–456. (Scholar)
- Baltag, A., and S. Smets, 2008, “A Qualitative Theory of
Dynamic Interactive Belief Revision”, in Logic and the
Foundation of Game and Decision Theory (LOFT7), G. Bonanno, W.
van der Hoek, and M. Wooldridge (Eds.), Volume 3 of Texts in Logic
and Games, 13–60. Amsterdam: Amsterdam University
Press. (Scholar)
- ––– (eds.), 2014, Johan van Benthem on Logic and Information Dynamics (Outstanding Contributions to Logic 5), Cham: Springer. (Scholar)
- Bar-Hillel, Y. and R. Carnap, 1952, “An Outline of a Theory of Semantic Information”, Technical Report No. 247, Research Laboratory of Electronics, Cambridge, MA: MIT. Reprinted in Language and Information: Selected Essays on their Theory and Application, Y. Bar-Hillel, Addison-Wesley Series in Logic, Israel: Jerusalem Academic Press and Addison-Wesley, 1964, 221–74. (Scholar)
- Barwise, J., 1988, “Three Views of Common Knowledge”,
TARK ’88 Proceedings of the 2nd conference on Theoretical
aspects of reasoning about knowledge, San Francisco: Morgan
Kaufmann, p. 365–379. (Scholar)
- –––, 1993, “Constraints, Channels, and the Flow of Information”, in Situation Theory and its Applications, 3, (CSLI Lecture Notes 37), Aczel et al. (eds.), Stanford: CSLI Publications. (Scholar)
- –––, 1997, “Information and Impossibilities”, Notre Dame Journal of Formal Logic 38(4): 488–515. (Scholar)
- Barwise, J. and J. Etchemendy, 1987, The Liar, Oxford:
Oxford University Press. (Scholar)
- Barwise, J. and L. Moss, 1996, Vicious Circles, (CSLI
Lecture Notes 60), Stanford: CSLI Publication. (Scholar)
- Barwise, J. and J. Perry, 1983, Situations and Attitudes, Cambridge, MA: MIT Press. (Scholar)
- –––, 1985, “Shifting Situations and Shaken Attitudes”, Linguistics and Philosophy, 8: 105–161. (Scholar)
- Barwise J. and J. Seligman, 1997, Information Flow: The Logic of Distributed Systems, Cambridge Tracts in Theoretical Computer Science 44, New York: Cambridge University Press. (Scholar)
- Beal, J. C. and G. Restall, 2006, Logical Pluralism, Oxford: Clarendon Press. (Scholar)
- van Benthem, J., 1995, Language in Action: Categories, Lambdas, and Dynamic Logic, Cambridge, MA: MIT Press. (Scholar)
- –––, 2000, “Information Transfer Across
Chu Spaces”, Logic Journal of the IGPL, 8(6):
719–731. (Scholar)
- –––, 2003, “Logic and Dynamics of Information”, Minds and Machines, 13(4): 503–519. (Scholar)
- –––, 2004, “Dynamic Logic for Belief
Revision”, Journal of Applied Non-Classical Logics,
14(2): 129–155. (Scholar)
- –––, 2006, “Information as Correlation
versus Information as Range”, Technical Report PP-2006-07,
Amsterdam: ILLC (University of Amsterdam). (Scholar)
- –––, 2009, “The Information in
Intuitionistic Logic”, Synthese, 167:
251–270. (Scholar)
- –––, 2010, “Categorial versus Modal
Information Theory”, Linguistic Analysis, 36: 533 (Scholar)
- –––, 2011, Logical Dynamics of Information and Interaction, Cambridge: Cambridge University Press. (Scholar)
- –––, 2016, “Tracking Information”,
in K. Bimbó (ed.) 2016, 363–390. (Scholar)
- –––, 2019, “Implicit and Explicit Stances in Logic”, Journal of Philosphical Logic, 48: 571–601. (Scholar)
- van Benthem, J., J. van Eijck, and B. Kooi, 2006, “Logics of Communication and Change”, Information and Computation, 204(11): 1620–1662. (Scholar)
- van Benthem, J. and M. Martinez, 2008, “The Stories of Logic and Information”. in Philosophy of Information, in Adriaans and van Benthem, 2008, p. 217–280. (Scholar)
- Berto, F. and Hawke, P., 2021, “Knowability Relative to Information”, Mind, 130(517): 1–33, doi:10.1093/mind/fzy045 (Scholar)
- Berto, F. and Jago M., 2019, Impossible Worlds, Oxford: Oxford University Press. doi:10.1093/oso/9780198812791.001.0001 (Scholar)
- Bertomeu, J. and Marinovic, I., 2016, “A Theory of Hard and
Soft Information”, The Accounting Review, 91(1):
1–20. (Scholar)
- Beth, E. W., 1955, “Semantic Entailment and Formal Derivability”, Koninklijke Nederlandse Akademie van Wentenschappen, Proceedings of the Section of Sciences, 18: 309–342). (Scholar)
- –––, 1956, “Semantic Construction of Intuitionistic Logic”, Koninklijke Nederlandse Akademie van Wentenschappen, Proceedings of the Section of Sciences, 19: 357–388. (Scholar)
- Bimbó, K. (ed.), 2016, J. Michael Dunn on Information Based Logics (Outstanding Contributions to Logic 8), Cham: Springer. (Scholar)
- Bimbó, K. (ed.), 2022, Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn (Tributes: Volume 46), London: College Publications. (Scholar)
- Blackburn, P., M. de Rijke, and Y. Venema, 2001, Modal Logic, Cambridge tracts in theoretical computer science 53, Cambridge: Cambridge University Press. (Scholar)
- Brady, R. T., 2016, “Comparing Contents with
Information”, in K. Bimbo (ed.) 2016, 147–159. (Scholar)
- Buszkowski, W., 1995, “Categorical Grammars with Negative
Information”, in Negation, A Notion in Focus, H.
Wansing (ed.), Berlin: Gruyter, 107–126. (Scholar)
- Ciardelli, I., Groenendijk, J., Roelofsen, F., 2018, Inquisitive Semantics, Oxford: Oxford University Press. (Scholar)
- D’Agostino, M. and L. Floridi, 2009, “The Enduring Scandal of Deduction”, Synthese 167: 317–315. (Scholar)
- Devlin, K., 1991, Logic and Information, Cambridge: Cambridge University Press. (Scholar)
- van Ditmarsh, H., W. van der Hoek, and B. Kooi, 2008, Dynamic Epistemic Logic, Dordrecht: Springer. (Scholar)
- Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge: Cambridge University Press. (Scholar)
- Dunn, J. M., 1993, “Partial Gaggles Applied to Logics with
Restricted Structural Rules”, in Substructural Logics,
P. Schroeder-Heister and K. Dosen (eds.), Oxford: Oxford Science
Publications, Clarendon Press, 63–108. (Scholar)
- –––, 2001, The Concept of Informaiton and the
Development of Modern Logic, in W. Stelzner and M. Stoeckler (eds.)
Zwischen traditioneller und moderner Logik: Nichtklassiche
Ansätze, Paderborn: Mentis Verlag GmbH, 423–447. (Scholar)
- –––, 2015, The Relevance of Relevance to
Relevance Logic, Logic and its Applications (Lecture Notes in
Computer Science: Vol. 8923), Berlin Heidelberg: Springer-Verlag,
11–29. (Scholar)
- Duzi, M., 2010, “The Paradox of Inference and the Non-Triviality of Analytic Information”, Journal of Philosophical Logic, 38(5): 473–510. (Scholar)
- Duzi, M., B. Jespersen, and P. Materna, 2010, Procedural Semantics for Hyperintensional Logic: Foundations and Applications of TIL (Logic, Epistemology, and the Unity of Science: Volume 17), Dordrecht, London: Springer. (Scholar)
- Dyckhoff, R. and M. Sadrzadeh, 2010, “A Cut-Free Sequent
Calculus for Algebraic Dynamic Epistemic Logic”, Computer
Science Research Report, University of Oxford, CS-RR-10-11. (Scholar)
- van Eijck, J. and A. Visser, 2012, “Dynamic
Semantics”, The Stanford Encyclopedia of Philosophy
(Winter 2012 Edition), Edward N. Zalta (ed.),
URL=<https://plato.stanford.edu/archives/win2012/entries/dynamic-semantics/>. (Scholar)
- Fagin R., J. Halpern, and M. Vardi, 1995, “Reasoning about Knowledge”. Cambridge, MA: MIT Press. (Scholar)
- Fine, K., 2017, “Truthmaker Semantics”, in A
Companion to the Philosophy of Language (Volume 2), Bob Hale,
Crispin Wright, and Alexander Miller (eds.), 2nd edition, Chichester:
Wiley Blackwell, 556–577. doi:10.1002/9781118972090.ch22 (Scholar)
- Fine, K. and Jago, M., 2019, “Logic for Exact Entailment”, Review of Symbolic Logic, 12(3): 536–555. doi:10.1017/s1755020318000151 (Scholar)
- Floridi, L., 2004, “Outline of a Theory of Strongly Semantic Information”, Minds and Machines, 14(2): 197–22. (Scholar)
- –––, 2006, “The Logic of Being Informed”, Logique et Analyse, 49(196): 433–460. (Scholar)
- –––, 2013, “Semantic Conceptions of
Information”, The Stanford Encyclopedia of Philosophy
(Spring 2013 Edition), Edward N. Zalta (ed.),
URL=<https://plato.stanford.edu/archives/spr2013/entries/information-semantic/>. (Scholar)
- Gabbay, D. M., 1993, “Labelled Deductive Systems: A Position
Paper”, in Logic Colloquium ’90: ASL Summer Meeting in
Helsinki, J. Oikkonen and J. Vaananen (eds.), Berlin:
Springer-Verlag, 66–88. (Scholar)
- –––, 1996, Labelled Deductive Systems:
Volume 1 (Oxford Logic Guides 35), New York: Oxford University
Press. (Scholar)
- Ganter, B. and R. Wille, 1999, Formal Concept Analysis, Foundations and Applications (LNCS 3626), Berlin, Heidelberg: Springer. (Scholar)
- Ghidini, C. and F. Giunchiglia, 2001, “Local Model
Semantics, or Contextual Reasoning = Locality + Compatibility”.
Artificial Intelligence, 127: 221–259. (Scholar)
- Groenendijk, J. and M. Stokoff, 1991, “Dynamic Predicate
Logic”, Linguistics and Philosophy, 14:
33–100. (Scholar)
- Gurevich, Y., 1977, “Intuitionistic Logic with Strong Negation”, Studia Logica, 36: 49–59. (Scholar)
- Grzegorczyk, A., 1964, “A Philosophically Plausible
Interpretation of Intuitionistic Logic”, Indagnationes
Mathematicae, 26: 596–601. (Scholar)
- Harrison-Trainor, M., Holliday, W. H., Icard, T. F., forthcoming, “Inferring Probability Comparisons”, Mathematical Social Sciences. (Scholar)
- Hintikka, J., 1970, “Surface Information and Depth Information”, in Information and Inference, J. Hintikka and P. Suppes (eds.), Dordrecht: Reidel, 263–97. (Scholar)
- –––, 1973, Logic, Language Games, and Information, Oxford: Clarendon Press. (Scholar)
- –––, 2007, Socratic Epistemology: Explorations of Knowledge—Seeking by Questions, Cambridge: Cambridge University Press. (Scholar)
- Hjortland, O., Roy, O., 2016, “Dynamic consequence for soft information”, Journal of Logic and Computation, 26(6): 1843–1864. (Scholar)
- Israel, D. and J. Perry, 1990, “What is Information?”, in Information, Language and Cognition, P. Hanson, (ed.), Vancouver: University of British Columbia. (Scholar)
- –––, 1991, “Information and Architecture”, in Situation Theory and its Applications Vol 2, J. Barwise, J.M. Gawron, G. Plotkin, and S. Tutiya, (eds.), Stanford: CSLI Publications. (Scholar)
- Jago, M., 2006, “Rule-based and Resource-Bounded: A New Look at Epistemic Logic”, in Proceedings on the Workshop on Logics for Resource—Bounded Agents, as part of ESSLLI 2006, T. Agotnes and N. Alechina (eds.), 63–77, 2006. (Scholar)
- –––, 2009, “Logical Information and Epistemic Space”, Synthese, 167: 327–341. (Scholar)
- –––, 2015, “Impossible Worlds”, Noûs, 49(4): 713–728. doi:10.1111/nous.12051 (Scholar)
- –––, 2020, “Truthmaker Semantics for Relevant Logic”, Journal of Philosophical Logic, 49: 681–702. doi:10.1007/s10992-019-09533-9 (Scholar)
- King, J. C., 2012, “Structured Propositions”, The
Stanford Encyclopedia of Philosophy (Winter 2012 Edition), Edward
N. Zalta (ed.),
URL=<https://plato.stanford.edu/archives/win2012/entries/propositions-structured/>. (Scholar)
- Kratzer, A., 2011, “Situations in Natural Language
Semantics”, The Stanford Encyclopedia of Philosophy
(Fall 2011 Edition), Edward N. Zalta (ed.),
URL=<https://plato.stanford.edu/archives/fall2011/entries/situations-semantics/>. (Scholar)
- Kripke, S. A., 1963, “Semantical Analysis of Modal
Logic”, Zeitschrift fur Mathematichs Logik und Grundlagen
der Mathematik, 9: 67–96. (Scholar)
- –––, 1965, “Semantical Analysis of Intuitionistic Logic I‘”, in Formal Systems and Recursive Functions, J. Crossley and M. Dummett (eds.), Amsterdam: North Holland, 92–129. (Scholar)
- Lambek, J., 1958, “The Mathematics of Sentence Structure”, American Mathematical Monthly, 65: 154–170. (Scholar)
- –––, 1961, On the Calculus of Syntactic Types,
in Structure of Language and its Mathematical Aspects, R.
Jakobson (ed.), Providence: American Mathematical Society,
166–178. (Scholar)
- Leitgeb, H., 2019, “HYPE: A System of Hyperintensional Logic”, Journal of Philosophical Logic 48(2): 305–405. doi:10.1007/s10992-018-9467-0 (Scholar)
- Lewis, D., 1969, Convention: A Philosophical Study, Cambridge: Harvard University Press. (Scholar)
- Liu, F., 2009, “Diversity of Agents and Their Interaction”, Journal of Logic, Language, and Information, 18(1): 23–53. (Scholar)
- Mares, E., 1996, “Relevant Logic and the Theory of Information”, Synthese 109: 345–370. (Scholar)
- –––, 2016, “Manipulating Sources of
Information: Towards and Interpretation of Linear Logic and Strong
Relevance Logic”, in K. Bimbo (ed.) 2016: 107–132. (Scholar)
- –––, 2004, Relevant Logic: A Philosophical Interpretation, Cambridge: Cambridge University Press. (Scholar)
- –––, 2009, “General Information in Relevant Logic”, Synthese, 167: 343–362. (Scholar)
- McGrath, M., 2012, “Propositions”, The Stanford
Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta
(ed.),
URL=<https://plato.stanford.edu/archives/sum2012/entries/propositions/>. (Scholar)
- Moss, L. S., 2009, “Non-wellfounded Set Theory”, The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.), URL=<https://plato.stanford.edu/archives/fall2009/entries/nonwellfounded-set-theory/>. (Scholar)
- Moss, L. and J. Seligman, 1996, “Situation Theory”, in
Handbook of Logic and Language, J. van Benthem and A. ter
Meulen, (eds.), Amsterdam: Elsiever. (Scholar)
- Negro, Niccolò, 2022, “Can the Integrated Information Theory Explain Consciousness from Consciousness Itself?” Review of Philosophy and Psychology, first online 03 August 2022. doi:10.1007/s13164-022-00653-x (Scholar)
- Nelson, D., 1949, “Constructible Falsity”, Journal of Philosophical Logic, 14: 16–26. (Scholar)
- –––, 1959, “Negation and the Separation of
Concepts in Constructive Systems”, in Constructivity in
Mathematics, A. Heyting (ed.), Amsterdam: North-Holland,
208–255. (Scholar)
- Pacuit, E., 2011, “Logics of Informational Attitudes and Informative Actions”, Journal of the Council of Indian Philosophy, 27(2): 341–378. (Scholar)
- Panahy, S., 2023, “Synthetic Proofs”, Synthese, 201(38), first online 21 January 2023. doi:10.1007/s11229-022-04026-w (Scholar)
- Paoli, F., 2002, Substructural Logics: A Primer, Dordrecht, Boston: Kluwer. (Scholar)
- Pratt, V., 1995, “Chu Spaces and Their Interpretation as
Concurrent Objects”, Computer Science Today (Lecture
Notes in Computer Science: Volume 1000), Berlin Heidelberg:
Springer-Verlag, 392–405. (Scholar)
- Primiero, G., 2006, “An Epistemic Constructive Definition of Information”, Logique et Analyse, 50(200): 391–416. (Scholar)
- –––, 2008, Information and Knowledge: A Constructive Type-Theoretical Approach (Logic, Epistemology, and the Unity of Science Series: Volume 10), Dordrecht: Springer. (Scholar)
- Punčochář, V., and Sedlár, I., 2021,
Epistemic Extensions of Substructural Inquisitive Logics, Journal
of Logic and Computation, 31(7): 1820–1844. (Scholar)
- Ramos Mendonça, Bruno, 2022, “Game Semantics,
Quantifiers and Logical Omniscience”, Logic and Logical
Philosophy, 31(4): 557–78. doi:10.12775/llp.2022.021. (Scholar)
- Restall, G., 1994, “Information Flow and Relevant Logics”, in Logic, Language, and Computation, Jerry Seligman and Dag Westeråhl (eds.), Stanford: CSLI Publications, 1995, 139–160. (Scholar)
- –––, 1994a, “A Useful Substructural Logic”, Bulletin of the Interest Group in Pure and Applied Logics, 2: 137–148. (Scholar)
- –––, 1997, “Ways Things Can’t
Be”, Notre Dame Journal of Formal Logic, 38:
583–596. (Scholar)
- –––, 2000, Substructural Logics, and
Introduction, London: Routledge. (Scholar)
- –––, 2006, “Logics, Situations, and Channels”, Journal of Cognitive Science, 6: 125–150. (Scholar)
- Sadrzadeh, M., 2009, “Ockham’s Razor for Reasoning
about Information Flow”, Synthese, 167:
391–408. (Scholar)
- Sedlar, I., 2015, “Substructural Epistemic Logics”, Journal of Applied Non-Classical Logics, 25(3): 256–285. (Scholar)
- –––, 2019, “Substructural Propositional
Dynamic Logics”, in R. Iemhoff, M. Moortgat, and R. De Queiroz
(eds.), Logic, Language, Information, and Computation (WoLLIC
2019), 594–609, Cham: Springer. (Scholar)
- –––, 2021, “Hyperintensional logics for Everyone”, Synthese, 198: 933–956. (Scholar)
- Sedlár, I, Punčochář V., Tedder, A., 2023,
“Relevant Epistemic Logic with Public Announcements and Common
Knowledge”, Journal of Logic and Computation, 33(2):
436–461. (Scholar)
- Segerberg, K., 1998, “Irrevocable Belief Revision in Dynamic Doxastic Logic”, Notre Dame Journal of Formal Logic, 39(3): 287–306. (Scholar)
- Seligman, J., 1990, “Perspectives in Situation
Theory”, in Situation Theory and its Applications, Vol
1, R. Cooper, K. Mukai, and J. Perry, (eds.), Stanford: CSLI
Publications, 147–191. (Scholar)
- –––, 2009, “Channels: From Logic to Probability”, in Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information, G. Sommaruga (ed.), LNCS 5363, Berlin: Springer Verlag, 193–233. (Scholar)
- –––, 2014, “Situation Theory
Reconsidered”, in A. Baltag and S. Smets (eds.) 2014:
895–932. (Scholar)
- Sequoiah-Grayson, S., 2007, “The Metaphilosophy of Information”, Minds and Machines, 17: 331–44. (Scholar)
- –––, 2008, “The Scandal of Deduction: Hintikka on the Information Yield of Deductive Inferences”, Journal of Philosophical Logic, 37: 67–94. (Scholar)
- –––, 2009, “Dynamic Negation and Negative Information”, Review of Symbolic Logic 2(1): 233–248. (Scholar)
- –––, 2010, “Lambek Calculi with 0 and
Test-Failure in DPL”, Linguistic Analysis, 36:
517–532. (Scholar)
- –––, 2011, “Non-Symmetric
(In)Compatibility Relations and Non-Commuting Types”, The
Logica Yearbook 2010, Michael Peliš and Vit
Punčochář (eds.) London: College Publications. (Scholar)
- –––, 2013, “Epistemic Closure and Commuting, Nonassociating Residuated Structures”, Synthese, 190(1): 113–128. (Scholar)
- –––, 2016, “Epistemic Relevance and
Epistemic Actions”, in K. Bimbo (ed.) 2016, 133–146. (Scholar)
- Shannon, C. E., 1948, “A Mathematical Theory of Communication”, Bell System Technical Journal 27: 379–423 and 623–656. (Scholar)
- –––, 1953 [1950], “The Lattice Theory of
Information”, in IEEE Transactions on Information
Theory, 1 (Proceedings of the Symposium on Information Theory,
London, September 1950): 105–107; reprinted in Claude Elwood
Shannon Collected Papers, N. J. A. Sloan and A. D. Wyner (eds.),
Los Alamos, CA: IEEE Computer Science Press, 1993. (Scholar)
- Stefaneas P. and Vandoulakis, I. M., 2014, “A Proofs as Spatio-temporal Processes”, Philosophia Scientiae, 18(3): 111–125. (Scholar)
- Tedder, A., 2017, “Channel Composition and Ternary Relation
Semantics”, in K. Bimbó and J.M. Dunn (eds.), IFCoLog
Journal of Logics and Their Applications (Special Issue:
Proceedings of the Third Workshop), 4(3): 731–753. (Scholar)
- –––, 2021, “Information Flow in Logics in the Vicinity of BB”, Australasian Journal of Logic, 18(1): 1–24. (Scholar)
- Tedder, A., and Bilková, M., forthcoming,
“Relevant Propositional Dynamic Logic”,
Synthese.
- Textor, M., 2012, “States of Affairs”, The Stanford Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta (ed.), URL=<https://plato.stanford.edu/archives/sum2012/entries/states-of-affairs/>. (Scholar)
- Troelstra, A. S., 1992, Lecture Notes on Linear Logic
(CSLI Lecture Notes 29), Stanford: CSLI Publications. (Scholar)
- Vanderschraaf, P. and G. Sillari, 2009, “Common Knowledge”, The Stanford Encyclopedia of Philosophy (Spring 2009 Edition), Edward N. Zalta (ed.), URL=<http:/plato.stanford.edu/archives/spr2009/entries/common-knowledge/>. (Scholar)
- Velázquez-Quesada, F. R., 2009, “Dynamic Logics for
Explicit and Implicit Information”, in Xiangdong He and John F.
Horty and Eric Pacuit (eds.), Logic, Rationality, and Interaction:
Second International Workshop, LORI 2009, Chongqing, China,
October 8–11, 2009, Berlin: Springer, 325–326. (Scholar)
- Vickers, S., 1996, Topology via Logic, Cambridge:
Cambridge University Press. (Scholar)
- Wang, Y., and J. Fan, 2014, “Conditionally Knowing What”, Advances in Modal Logic, 10: 569–587. (Scholar)
- Wansing, H., 1993, The Logic of Information Structures, (Lecture Notes in Artificial Intelligence no. 681, Subseries of Lecture Notes in Computer Science), Berlin: Springer-Verlag. (Scholar)
- –––, 2016, “On Split Negation, Strong Negation, Information, Falsification, and Verification”, in K. Bimbo (ed.) 2016: 161–190. (Scholar)
- Yablo, S., 2014, Aboutness, Princeton, NJ: Princeton University Press. (Scholar)
- Yang, S., Taniguchi, M., Tojo, S., 2019, “4-valued Logic for
Agent Communication with Private/Public Information Passing”,
Proceedings of the 11th International Conference on Agents and
Artificial Intelligence (ICAART 2019) (Volume 1), Setúbal:
Science and Technology Publications, 54–61.
doi:10.5220/0007400000540061 (Scholar)
- Zalta, Edward N., 1983, Abstract Objects: An Introduction to Axiomatic Metaphysics, Dordrecht: D. Reidel. (Scholar)
- –––, 1993, “Twenty-Five Basic Theorems in Situation and World Theory”, Journal of Philosophical Logic, 22(4): 385–428. (Scholar)
- Zhou, C., 2016, “Logical Foundations of Evidential reasoning with Contradictory Information”, in K. Bimbo (ed.) 2016: 213–246. (Scholar)