- On the Dynamics of Conversation.Daniel Rothschild & Seth Yalcin - 2017 - Noûs 51 (2):24-48.details
|
|
Dynamic Logic.Lenore D. Zuck & David Harel - 1989 - Journal of Symbolic Logic 54 (4):1480.details
|
|
Some comments on history based structures.Eric Pacuit - 2007 - Journal of Applied Logic 5 (4):613-624.details
|
|
(1 other version)Our Knowledge of the Internal World.Robert Stalnaker - 2008 - Oxford, GB: Oxford University Press.details
|
|
Groups and Plane Geometry.Victor Pambuccian - 2005 - Studia Logica 81 (3):387-398.details
|
|
The Tractable Cognition Thesis.Iris Van Rooij - 2008 - Cognitive Science 32 (6):939-984.details
|
|
Category-specified Value Statements.Sven Ove Hansson - 2006 - Synthese 148 (2):425-432.details
|
|
(1 other version)Logic and Social Cognition: The Facts Matter, and So Do Computational Models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
Justifications, awareness and epistemic dynamics.Igor Sedlár - 2013 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science (Lecture Notes in Computer Science 7734). Springer. pp. 307-318.details
|
|
Degree of confirmation’ and Inductive Logic.Hilary Putnam - 1963 - In Paul Arthur Schilpp (ed.), The philosophy of Rudolf Carnap. La Salle, Ill.,: Open Court. pp. 761-783.details
|
|
Zur Theorie der Gesellschaftsspiele.John von Neumann - 1928 - Mathematische Annalen 100:295--320.details
|
|
What Comes First in Dynamic Semantics: A Critical Review of Linguistic Theories of Presupposition and a Dynamic Alternative.David Beaver - 2001 - Center for the Study of Language and Information Publications.details
|
|
The Representation of Relational Algebras.Roger C. Lyndon - 1951 - Journal of Symbolic Logic 16 (4):279-280.details
|
|
Linear Automaton Transformations.A. Nerode - 1963 - Journal of Symbolic Logic 28 (2):173-174.details
|
|
Later Than Late: On the Logical Origin of the Temporal Order.Johan Van Benthem - 1982 - Pacific Philosophical Quarterly 63 (2):193-203.details
|
|
(1 other version)Assertion.Robert Stalnaker - 2013 - In Maite Ezcurdia & Robert J. Stainton (eds.), The Semantics-Pragmatics Boundary in Philosophy. Peterborough, CA: Broadview Press. pp. 179.details
|
|
Tracking, closure, and inductive knowledge.Jonathan Vogel - 1987 - In Luper-Foy Steven (ed.), The Possibility of Knowledge: Nozick and His Critics. Totowa, N.J.: Rowman & Littlefield. pp. 197--215.details
|
|
Representation= grounded information.Mary-Anne Williams - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 473--484.details
|
|
Generalized DEL-sequents.Guillaume Aucher, Bastien Maubert & François Schwarzentruber - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 54--66.details
|
|
(1 other version)Empirical foundation of space and time.Laszlo E. Szabo - 2009 - In Mauricio Suárez, Mauro Dorato & Miklós Rédei (eds.), EPSA Philosophical Issues in the Sciences · Launch of the European Philosophy of Science Association. Dordrecht, Netherland: Springer. pp. 251--266.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
(1 other version)Analyzing vision at the complexity level.John K. Tsotsos - 1990 - Behavioral and Brain Sciences 13 (3):423-445.details
|
|
A note on applicability of the incompleteness theorem to human mind.Pavel Pudlák - 1999 - Annals of Pure and Applied Logic 96 (1-3):335-342.details
|
|
An extension of Kracht's theorem to generalized Sahlqvist formulas.Stanislav Kikot - 2009 - Journal of Applied Non-Classical Logics 19 (2):227-251.details
|
|
Modal languages for topology: Expressivity and definability.Balder ten Cate, David Gabelaia & Dmitry Sustretov - 2009 - Annals of Pure and Applied Logic 159 (1-2):146-170.details
|
|
Logics for multi-subset spaces.Bernhard Heinemann - 2010 - Journal of Applied Non-Classical Logics 20 (3):219-240.details
|
|
Axiomatizing first-order consequences in dependence logic.Juha Kontinen & Jouko Väänänen - 2013 - Annals of Pure and Applied Logic 164 (11):1101-1117.details
|
|
Constructive knowledge: what agents can achieve under imperfect information.Wojciech Jamroga & Thomas Ågotnes - 2007 - Journal of Applied Non-Classical Logics 17 (4):423-475.details
|
|
Question–answer games.Thomas Ågotnes, Johan van Benthem, Hans van Ditmarsch & Stefan Minica - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):265-288.details
|
|
Action Emulation between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.details
|
|
Channels: From Logic to Probability.J. Seligman - 2009 - In G. Sommaruga (ed.), Channels: From Logic to Probability.details
|
|
Belief Change in Branching Time: AGM-consistency and Iterated Revision. [REVIEW]Giacomo Bonanno - 2012 - Journal of Philosophical Logic 41 (1):201-236.details
|
|
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknowndetails
|
|
Open Problems in Logic and Games.Johan van Benthem - unknowndetails
|
|
(1 other version)Information and Architecture.David Israel & John Perry - 1991 - In Jon Barwise, Jean Mark Gawron, Gordon Plotkin & Syun Tutiya (eds.), Situation Theory and Its Applications Vol. 2. CSLI Publications. pp. 147-160.details
|
|
(1 other version)Computational Semantics for Monadic Quantifiers.Marcin Mostowski - 1998 - Journal of Applied Non--Classical Logics 8 (1-2):107--121.details
|
|
(1 other version)Logic and social cognition the facts matter, and so do computational models.Rineke Verbrugge - 2009 - Journal of Philosophical Logic 38 (6):649-680.details
|
|
(1 other version)Formal Properties of 'Now'.Hans Kamp - 1971 - Theoria 37 (3):227-273.details
|
|
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.details
|
|
Incremental semantics for propositional texts.C. F. M. Vermeulen - 1994 - Notre Dame Journal of Formal Logic 35 (2):243-271.details
|
|
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.details
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
(1 other version)The theory of probability.Hans Reichenbach - 1949 - Berkeley,: University of California Press.details
|
|
On the logic of iterated belief revision.Adnan Darwiche & Judea Pearl - 1997 - Artificial Intelligence 89 (1-2):1-29.details
|
|
Advice on modal logic.D. Scott - 1980 - In Karel Lambert (ed.), Philosophical problems in logic: some recent developments. Hingham, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Boston. pp. 143--173.details
|
|
(1 other version)Where monsters dwell.David Israel & John Perry - 1996 - In Jerry Seligman & Dag Westerstahl (eds.), Logic, Language and Computation. Center for the Study of Language and Inf. pp. 1--303.details
|
|
Foundations of Space-Time Theories.Micheal Friedman - 1983 - Princeton University Press.details
|
|
Syntactic Structures.Noam Chomsky - 1957 - Mouton.details
|
|
Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.details
|
|
'Knowable' as 'known after an announcement'.Philippe Balbiani, Alexandru Baltag, Hans van Ditmarsch, Andreas Herzig, Tomohiro Hoshi & Tiago de Lima - 2008 - Review of Symbolic Logic 1 (3):305-334.details
|
|