- General Dynamic Dynamic Logic.Patrick Girard, Jeremy Seligman & Fenrong Liu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 239-260.details
|
|
Ecidence Logic: A New Look at Neighborhood Structures.Johan van Benthem, David Fernández-Duque & Eric Pacuit - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 97-118.details
|
|
A Lindström characterisation of the guarded fragment and of modal logic with a global modality.Martin Otto & Robert Piro - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 273-287.details
|
|
Undecidablity for arbitrary public announcement logic.Tim French & Hans van Dirmarsch - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 23-42.details
|
|
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
|
|
Action emulation.Jan van Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):131-151.details
|
|
Topological Models of Belief Logics.Christopher Steinsvold - 2007 - Dissertation, Cuny Graduate Centerdetails
|
|
Exploring the tractability border in epistemic tasks.Cédric Dégremont, Lena Kurzen & Jakub Szymanik - 2014 - Synthese 191 (3):371-408.details
|
|
Critical Notices.Nancy Cartwright - 2003 - Philosophy and Phenomenological Research 66 (1):244-249.details
|
|
Polyadic Quantifiers.Johan Van Benthem - 1989 - Linguistics and Philosophy 12 (4):437-464.details
|
|
Situations and Inference.Johan van Benthem - 1985 - Linguistics and Philosophy 8 (1):3-8.details
|
|
1960 International Congress For Logic, Methodology And Philosophy Of Science.[author unknown] - 1960 - Scientia 54 (95):10.details
|
|
The Fundamental Value Universal.Albert P. Brogan - 1919 - Journal of Philosophy, Psychology and Scientific Methods 16 (4):96-104.details
|
|
Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.details
|
|
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.details
|
|
The Structure of Values and Norms.Sven Ove Hansson - 2002 - Bulletin of Symbolic Logic 8 (4):531-533.details
|
|
On the Logic of 'Better'.Sören Halldén - 1957 - Lund, Sweden: C.W.K. Gleerup.details
|
|
Logical semantics as an empirical science.Johan van Benthem - 1983 - Studia Logica 42 (2):299-313.details
|
|
Book Reviews. [REVIEW]Melvin Fitting & Richard Mendelsohn - 1998 - Studia Logica 68 (2):287-300.details
|
|
Many-Dimensional Modal Logics: Theory and Applications.D. M. Gabbay, A. Kurucz, F. Wolter & M. Zakharyaschev - 2005 - Studia Logica 81 (1):147-150.details
|
|
Model Theory.C. C. Chang & H. Jerome Keisler - 1992 - Studia Logica 51 (1):154-155.details
|
|
Multi-Dimensional Modal Logic.Maarten Marx & Yde Venema - 2000 - Studia Logica 65 (2):278-282.details
|
|
The Logic of Preference.Georg Henrik von Wright - 1963 - Studia Logica 30:159-162.details
|
|
A New Introduction to Modal Logic.G. E. Hughes & M. J. Cresswell - 1996 - Studia Logica 62 (3):439-441.details
|
|
A mathematical characterization of interpretation between theories.J. Van Benthem - 1984 - Studia Logica 43:295.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1990 - Studia Logica 49 (2):284-286.details
|
|
Bridges from Classical to Nonmonotonic Logic.David Makinson - 2008 - Studia Logica 89 (3):437-439.details
|
|
The Logical Study of Science.Johan van Benthem - 1982 - Synthese 51 (3):431-472.details
|
|
Probability, Frequency and Reasonable Expectation.Richard T. Cox - 1946 - Journal of Symbolic Logic 37 (2):398-399.details
|
|
Finite Partially-Ordered Quantification.Wilbur John Walkoe - 1975 - Journal of Symbolic Logic 40 (2):239-240.details
|
|
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.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
|
|
Products of ‘transitive” modal logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.details
|
|
The Concept of Logical Consequence.John Etchemendy - 1994 - Erkenntnis 41 (2):281-284.details
|
|
Knowledge, truth and evidence.Keith Lehrer - 1965 - Analysis 25 (5):168.details
|
|
Thought without Representation.John Perry & Simon Blackburn - 1986 - Aristotelian Society Supplementary Volume 60 (1):137-166.details
|
|
The Concept of Logical Consequence.John Etchemendy - 1990 - Mind 100 (3):382-385.details
|
|
Orthogonality and Spacetime Geometry.Robert Goldblatt - 1990 - Philosophy of Science 57 (2):335-336.details
|
|
Intention, Plans, and Practical Reason.M. E. Bratman - 1991 - Noûs 25 (2):230-233.details
|
|
Philosophical Explanations. [REVIEW]Robert Nozick - 1982 - Critica 14 (41):87-93.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
|
|
Der logische Aufbau der Welt.Rudolf Carnap - 1928 - Annalen der Philosophie Und Philosophischen Kritik 8:106-107.details
|
|
Logik und Agon.Paul Lorenzen - 1960 - Atti Del XII Congresso Internazionale di Filosofia 4:187-194.details
|
|
Rational Behaviour and Bargaining Equilibrium in Games and Social Situations.John C. Harsanyi - 1977 - Cambridge University Press.details
|
|
Deontic epistemic stit logic distinguishing modes of mens rea.Jan Broersen - 2011 - Journal of Applied Logic 9 (2):137-152.details
|
|
Group announcement logic.Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban - 2010 - Journal of Applied Logic 8 (1):62-81.details
|
|
Some comments on history based structures.Eric Pacuit - 2007 - Journal of Applied Logic 5 (4):613-624.details
|
|
Using temporal logics of knowledge for specification and verification—a case study.Clare Dixon - 2006 - Journal of Applied Logic 4 (1):50-78.details
|
|
Logic programs and connectionist networks.Pascal Hitzler, Steffen Hölldobler & Anthony Karel Seda - 2004 - Journal of Applied Logic 2 (3):245-272.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|