- Hypercomputation: Computing Beyond the Church-Turing Barrier.Apostolos Syropoulos - 2008 - Springer.details
|
|
(1 other version)Properties of logics of individual and group agency.Andreas Herzig & François Schwarzentruber - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-149.details
|
|
Topological Models of Belief Logics.Christopher Steinsvold - 2007 - Dissertation, Cuny Graduate Centerdetails
|
|
The Structure of Values and Norms.Sven Ove Hansson - 2002 - Bulletin of Symbolic Logic 8 (4):531-533.details
|
|
Logic, Logic and Logic.George Boolos & Richard C. Jeffrey - 1998 - Studia Logica 66 (3):428-432.details
|
|
Knowledge in Flux.Henry E. Kyburg & Peter Gardenfors - 1993 - Noûs 27 (4):519-521.details
|
|
Completeness of S4 with respect to the real line: revisited.Gurman Bezhanishvili & Mai Gehrke - 2005 - Annals of Pure and Applied Logic 131 (1-3):287-301.details
|
|
Rational Behaviour and Bargaining Equilibrium in Games and Social Situations.John C. Harsanyi - 1977 - Cambridge University Press.details
|
|
Connecting dynamic epistemic and temporal epistemic logics.H. van Ditmarsch, W. van der Hoek & J. Ruan - 2013 - Logic Journal of the IGPL 21 (3):380-403.details
|
|
Deontic epistemic stit logic distinguishing modes of mens rea.Jan Broersen - 2011 - Journal of Applied Logic 9 (2):137-152.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
A Dynamic-Logical Perspective on Quantum Behavior.A. Baltag & S. Smets - 2008 - Studia Logica 89 (2):187-211.details
|
|
Iterated Belief Revision.Robert Stalnaker - 2009 - Erkenntnis 70 (2):189-209.details
|
|
Remarks on Sentential Logics.R. Suszko - 1975 - Journal of Symbolic Logic 40 (4):603-604.details
|
|
Combinators and structurally free logic.J. Dunn & R. Meyer - 1997 - Logic Journal of the IGPL 5 (4):505-537.details
|
|
Essays in Logical Semantics.John Hawthorn - 1986 - Springer.details
|
|
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.details
|
|
Reliable Belief Revision.Kevin T. Kelly, Oliver Schulte & Vincent Hendricks - unknowndetails
|
|
Relevant Logics.Edwin D. Mares & Robert K. Meyer - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 280–308.details
|
|
On the dynamic turn in the study of meaning and interpretation.Richard Breheny - 2003 - In Jaroslav Peregrin (ed.), Meaning: the dynamic turn. Oxford, UK: Elsevier Science.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
|
|
Expressive completeness through logically tractable models.Martin Otto - 2013 - Annals of Pure and Applied Logic 164 (12):1418-1453.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Strong completeness of s4 for any dense-in-itself metric space.Philip Kremer - 2013 - Review of Symbolic Logic 6 (3):545-570.details
|
|
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.details
|
|
Temporal logic and its application to normative reasoning.Emiliano Lorini - 2013 - Journal of Applied Non-Classical Logics 23 (4):372-399.details
|
|
A Two-Level Perspective on Preference.Fenrong Liu - 2011 - Journal of Philosophical Logic 40 (3):421 - 439.details
|
|
DEL-sequents for regression and epistemic planning.Guillaume Aucher - 2012 - Journal of Applied Non-Classical Logics 22 (4):337 - 367.details
|
|
The dynamic turn in quantum logic.Alexandru Baltag & Sonja Smets - 2012 - Synthese 186 (3):753 - 773.details
|
|
Deontic logic for strategic games.Allard Tamminga - 2013 - Erkenntnis 78 (1):183-200.details
|
|
The Semantics of Definite and Indefinite Noun Phrases.Irene Heim - 1982 - Dissertation, Umass Amherstdetails
|
|
Bewirken.Franz von Kutschera - 1986 - Erkenntnis 24 (3):253 - 281.details
|
|
Church's Thesis and Principles for Mechanisms.Robin Gandy - 1980 - In The Kleene Symposium. North-Holland. pp. 123--148.details
|
|
First-order intensional logic.Melvin Fitting - 2004 - Annals of Pure and Applied Logic 127 (1-3):171-193.details
|
|
Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknowndetails
|
|
Synchronizing Diachronic Uncertainty.Alistair Isaac & Tomohiro Hoshi - 2011 - Journal of Logic, Language and Information 20 (2):137-159.details
|
|
An essay in classical modal logic.Krister Segerberg - 1971 - Uppsala,: Filosofiska föreningen och Filosofiska institutionen vid Uppsala universitet.details
|
|
Een zogenaamde denkfout.Frank Veltman - unknowndetails
|
|
Contexts in dynamic predicate logic.Albert Visser - 1998 - Journal of Logic, Language and Information 7 (1):21-52.details
|
|
(1 other version)An update on “might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.details
|
|
Active agents.Vincent F. Hendricks - 2003 - Journal of Logic, Language and Information 12 (4):469-495.details
|
|
Iterated revision and minimal change of conditional beliefs.Craig Boutilier - 1996 - Journal of Philosophical Logic 25 (3):263 - 305.details
|
|
(3 other versions)Elusive Knowledge.David Lewis - 1999 - In Keith DeRose & Ted A. Warfield (eds.), Skepticism: a contemporary reader. New York: Oxford University Press.details
|
|
(1 other version)The Logic of Questions.David Harrah - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 715--764.details
|
|
(1 other version)The Logic of Questions.David Harrah - 1983 - In Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 1--60.details
|
|
(1 other version)Compositionality: A connectionist variation on a classical theme.Tim van Gelder - 1990 - Cognitive Science 14 (3):355-384.details
|
|
(2 other versions)Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.details
|
|
(1 other version)Inquiry.Robert Stalnaker - 1984 - Synthese 79 (1):171-189.details
|
|
The Logical Study of Science.Johan van Benthem - 1982 - Synthese 51 (3):431-472.details
|
|
Thought without Representation.John Perry & Simon Blackburn - 1986 - Aristotelian Society Supplementary Volume 60 (1):137-166.details
|
|