- The nets of reason.Johan van Benthem - 2012 - Argument and Computation 3 (2-3):83 - 86.details
|
|
Conditioning and Interpretation Shifts.Jan-Willem Romeijn - 2012 - Studia Logica 100 (3):583-606.details
|
|
The dynamic turn in quantum logic.Alexandru Baltag & Sonja Smets - 2012 - Synthese 186 (3):753 - 773.details
|
|
Descriptive Complexity.Neil Immerman - 1998 - Springer Verlag.details
|
|
Neural basis for generalized quantifiers comprehension.C. T. Mcmillan, R. Clark, P. Moore, C. Devita & M. Grossman - 2005 - Neuropsychologia 43:1729--1737.details
|
|
Quantifiers comprehension in corticobasal degeneration.C. T. Mcmillan, R. Clark, P. Moore & M. Grossman - 2006 - Brain and Cognition 65:250--260.details
|
|
Channels: From Logic to Probability.J. Seligman - 2009 - In G. Sommaruga (ed.), Channels: From Logic to Probability.details
|
|
What one may come to know.J. van Benthem - 2004 - Analysis 64 (2):95-105.details
|
|
Logic in a Social Setting.Johan van Benthem - 2011 - Episteme 8 (3):227-247.details
|
|
A Computational Approach to Quantifiers as an Explanation for Some Language Impairments in Schizophrenia.Marcin Zajenkowski, Rafał Styła & Jakub Szymanik - 2011 - Journal of Communication Disorder 44:2011.details
|
|
A Note on a Generalization of the Muddy Children Puzzle.Nina Gierasimczuk & Jakub Szymanik - 2011 - In K. Apt (ed.), Proceeding of the 13th Conference on Theoretical Aspects of Rationality and Knowledge. ACM.details
|
|
Invariance Properties of Quantifiers and Multiagent Information Exchange.Nina Gierasimczuk & Jakub Szymanik - 2011 - In M. Kanazawa (ed.), Proceedings of the 12th Meeting on Mathematics of Language, Lecture Notes in Artificial Intelligence 6878. Springer.details
|
|
Contribution of Working Memory in the Parity and Proportional Judgments.Jakub Szymanik & Marcin Zajenkowski - 2011 - Belgian Journal of Linguistics 25:189-206.details
|
|
Believing and Necessity.Leonard Linsky - 1977 - Proceedings and Addresses of the American Philosophical Association 50 (6):526 - 538.details
|
|
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.details
|
|
Bewirken.Franz von Kutschera - 1986 - Erkenntnis 24 (3):253 - 281.details
|
|
Knowledge, Truth and Evidence.Keith Lehrer - 1965 - Analysis 25 (5):168 - 175.details
|
|
Players' information in extensive games.Giacomo Bonanno - 1992 - Mathematical Social Sciences 24 (1):35-48.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
Reduction axioms for epistemic actions.Johan van Benthem & Barteld Kooi - unknowndetails
|
|
First-order intensional logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.details
|
|
Cognition As Interaction.Johan van Benthem - unknowndetails
|
|
Decisions, Actions, and Games, a Logical Perspective.Johan van Benthem - unknowndetails
|
|
Open Problems in Logic and Games.Johan van Benthem - unknowndetails
|
|
'One is a Lonely Number': on the logic of communication.Johan van Benthem - unknowndetails
|
|
The Convergence of Scientific Knowledge a View From the Limit.Vincent F. Hendricks - 2001 - Dordrecht, Netherland: Springer.details
|
|
Comments On the Interpretation of Game Theory.Ariel Rubinstein - unknowndetails
|
|
Computational Semantics for Monadic Quantifiers.Marcin Mostowski - 1998 - Journal of Applied Non--Classical Logics 8 (1-2):107--121.details
|
|
Completeness of weak implication.Alasdair I. F. Urquhart - 1971 - Theoria 37 (3):274-282.details
|
|
Products of 'transitive' modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.details
|
|
Minimal predicates, fixed-points, and definability.Johan van Benthem - 2005 - Journal of Symbolic Logic 70 (3):696-712.details
|
|
The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.details
|
|
Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.details
|
|
Incremental semantics for propositional texts.C. F. M. Vermeulen - 1994 - Notre Dame Journal of Formal Logic 35 (2):243-271.details
|
|
Defining "good" and "bad" in terms of "better".Sven Ove Hansson - 1989 - Notre Dame Journal of Formal Logic 31 (1):136-149.details
|
|
Tense logic and time.Johan van Benthem - 1984 - Notre Dame Journal of Formal Logic 25 (1):1-16.details
|
|
Quick completeness proofs for some logics of conditionals.John P. Burgess - 1981 - Notre Dame Journal of Formal Logic 22 (1):76-84.details
|
|
Calculations by Man and Machine: Mathematical Presentation.Wilfried Sieg - unknowndetails
|
|
Learning theory and epistemology.Kevin Kelly - 2004 - In Ilkka Niiniluoto, Matti Sintonen & Jan Woleński (eds.), Handbook of Epistemology. Dordrecht: Kluwer Academic. pp. 183--203.details
|
|
Quantifiers and Working Memory.Jakub Szymanik & Marcin Zajenkowski - 2010 - In Maria Aloni & Katrin Schulz (eds.), Amsterdam Colloquium 2009, LNAI 6042. Springer.details
|
|
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.details
|
|
Logics for the relational syllogistic.Ian Pratt-Hartmann & Lawrence S. Moss - 2009 - Review of Symbolic Logic 2 (4):647-683.details
|
|
A system of ethics.Edwin T. Mitchell - 1950 - New York,: Charles Scribner's Sons.details
|
|
Preference and obligation.Sven Danielsson - 1969 - Uppsala,: Filosofiska föreningen.details
|
|
Qualitative probabilities for default reasoning, belief revision, and causal modeling.Moisés Goldszmidt & Judea Pearl - 1996 - Artificial Intelligence 84 (1-2):57-112.details
|
|
A Note on some Neuroimaging Study of Natural Language Quantifiers Comprehension.Jakub Szymanik - 2007 - Neuropsychologia 45 (9):2158-2160.details
|
|
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.details
|
|
Quantifiers in TIME and SPACE. Computational Complexity of Generalized Quantifiers in Natural Language.Jakub Szymanik - 2009 - Dissertation, University of Amsterdamdetails
|
|
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.details
|
|