Journal of Applied Logic 8 (2):153-172 (2010)
| Authors | |
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1016/j.jal.2009.09.002 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,337
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - dare.uva.nl (no proxy)
- linkinghub.elsevier.com (no proxy)
- linkinghub.elsevier.com [2] (no proxy)
- pure.uva.nl (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Modal Frame Correspondences and Fixed-Points.Johan Van Benthem - 2006 - Studia Logica 83 (1-3):133-155.
Finite Models Constructed From Canonical Formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.
View all 9 references / Add more references
Citations of this work BETA
Some Modal Aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Similar books and articles
Some Modal Aspects of XPath.Balder ten Cate, Gaëlle Fontaine & Tadeusz Litak - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Some Modal Aspects of XPath.Blader Ten Cate, Luis Farinas Del Cero & Andreas Herzig - 2010 - Journal of Applied Non-Classical Logics 20 (3):139-171.
Complete Axiomatizations for Reasoning About Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
Ternary Operations as Primitive Notions for Constructive Plane Geometry VI.Victor Pambuccian - 1995 - Mathematical Logic Quarterly 41 (3):384-394.
Complete Axiomatizations of Finite Syntactic Epistemic States.Thomas Ågotnes & Michal Walicki - 2006 - In P. Torroni, U. Endriss, M. Baldoni & A. Omicini (eds.), Declarative Agent Languages and Technologies Iii. Springer. pp. 33--50.
Sources for the Philosophy of Archytas.Monte Ransome Johnson - 2008 - Ancient Philosophy 28 (1):173-199.
First-Order Gödel Logics.Richard Zach, Matthias Baaz & Norbert Preining - 2007 - Annals of Pure and Applied Logic 147 (1):23-47.
Commodious Axiomatization of Quantifiers in Multiple-Valued Logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
Presocratic Fragments Graham The Texts of Early Greek Philosophy. The Complete Fragments and Selected Testimonies of the Major Presocratics. In Two Volumes. Pp. Xiv + 1020. Cambridge: Cambridge University Press, 2010. Paper, £60, US$99 . ISBN: 978-0-521-60842-8. [REVIEW]Thomas M. Robinson - 2012 - The Classical Review 62 (1):27-28.
The Complexity of Horn Fragments of Linear Logic.Max I. Kanovich - 1994 - Annals of Pure and Applied Logic 69 (2-3):195-241.
The Problem of Fragments: Two Interpretative Strategies.Robert M. Harnish - 2009 - Pragmatics and Cognition 17 (2):251-282.
Complete Axiomatizations for Reasoning About Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93-123.
Analytics
Added to PP index
2016-06-30
Total views
23 ( #493,065 of 2,508,046 )
Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )
2016-06-30
Total views
23 ( #493,065 of 2,508,046 )
Recent downloads (6 months)
1 ( #416,715 of 2,508,046 )
How can I increase my downloads?
Downloads
