Manuscrito 28 (2):449-546 (2005)
Abstract |
We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
The Profinite Hull of Special Groups and Local-Global Principles.Hugo Luiz Mariano & Francisco Miraglia - 2011 - Studia Logica 97 (1):127-160.
Similar books and articles
On the Quasi-Ordering of Borel Linear Orders Under Embeddability.Alain Louveau & Jean Saint-Raymond - 1990 - Journal of Symbolic Logic 55 (2):537-560.
On a Generalization of Jensen's □Κ, and Strategic Closure of Partial Orders.Dan Velleman - 1983 - Journal of Symbolic Logic 48 (4):1046 - 1052.
Philosophical Topology.Yi Jiang - 2008 - Proceedings of the Xxii World Congress of Philosophy 15:59-74.
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
On the Existence of Extensional Partial Combinatory Algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Every Countably Presented Formal Topology is Spatial, Classically.Silvio Valentini - 2006 - Journal of Symbolic Logic 71 (2):491-500.
Topology as an Issue for History of Philosophy of Science.Thomas Mormann - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao J. Gonzalez, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer. pp. 423--434.
A Hybrid Logic for Reasoning About Knowledge and Topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
Relational and Partial Variable Sets and Basic Predicate Logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
Quasi-Truth, Supervaluations and Free Logic.Newton C. A. da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
On Legal Order: Some Criticism of the Received View. [REVIEW]Riccardo Guastini - 2000 - Ethical Theory and Moral Practice 3 (3):263-272.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Analytics
Added to PP index
2013-04-12
Total views
13 ( #716,296 of 2,409,939 )
Recent downloads (6 months)
1 ( #541,494 of 2,409,939 )
2013-04-12
Total views
13 ( #716,296 of 2,409,939 )
Recent downloads (6 months)
1 ( #541,494 of 2,409,939 )
How can I increase my downloads?
Downloads