16 found
Sort by:
Disambiguations:
Marcin Mostowski [12]M. Mostowski [11]
  1. M. Mostowski (forthcoming). The Logic of Divisibility. Journal of Symbolic Logic.
     
    My bibliography  
     
    Export citation  
  2. Marcin Mostowski & Jakub Szymanik (2012). Semantic Bounds for Everyday Language. Semiotica 188 (1/4):363-372.
    We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in the existential fragment of second–order logic. Two arguments for this thesis are formulated. Firstly, we show that so–called Barwise's test of negation normality works properly only when assuming our main thesis. Secondly, we discuss the argument from practical computability for finite universes. Everyday language sentences are directly or indirectly verifiable. We show that in both cases they are bounded by second–order (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  3. Marcin Mostowski & Jakub Szymanik (2007). Computational Complexity of Some Ramsey Quantifiers in Finite Models. Bulletin of Symbolic Logic 13:281--282.
    The problem of computational complexity of semantics for some natural language constructions – considered in [M. Mostowski, D. Wojtyniak 2004] – motivates an interest in complexity of Ramsey quantifiers in finite models. In general a sentence with a Ramsey quantifier R of the following form Rx, yH(x, y) is interpreted as ∃A(A is big relatively to the universe ∧A2 ⊆ H). In the paper cited the problem of the complexity of the Hintikka sentence is reduced to the problem of computational (...)
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Marcin Mostowski Jakub Szymanik & M. Mostowski (2007). Computational Complexity of Some Ramsey Quantifiers in Finite Models. Bulletin of Symbolic Logic 13:281-282.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Amélie Gheerbrant & Marcin Mostowski (2006). Recursive Complexity of the Carnap First Order Modal Logic C. Mathematical Logic Quarterly 52 (1):87-94.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. X. Li, M. Mostowski, K. Zdanowski, Mr Burke & M. Kada (2004). M. RUBIN On La Ia Complete Extensions of Complete Theories of Boolean Algebras 571 A. ROStANOWSKI• S. SHELAH Sweet & Sour and Other Flavours of Ccc Forcing. [REVIEW] Archive for Mathematical Logic 43 (5):720.
    No categories
     
    My bibliography  
     
    Export citation  
  7. Marcin Mostowski & Dominika Wojtyniak (2004). Computational Complexity of the Semantics of Some Natural Language Constructions. Annals of Pure and Applied Logic 127 (1-3):219--227.
  8. Marcin Mostowski & Konrad Zdanowski (2004). Degrees of Logics with Henkin Quantifiers in Poor Vocabularies. Archive for Mathematical Logic 43 (5):691-702.
    We investigate some logics with Henkin quantifiers. For a given logic L, we consider questions of the form: what is the degree of the set of L–tautologies in a poor vocabulary (monadic or empty)? We prove that the set of tautologies of the logic with all Henkin quantifiers in empty vocabulary L*∅ is of degree 0’. We show that the same holds also for some weaker logics like L ∅(Hω) and L ∅(Eω). We show that each logic of the form (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. A. E. Wasilewska & M. Mostowski (2004). Arithmetic of Divisibility in Finite Models. Mathematical Logic Quarterly 50 (2):169.
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Marcin Mostowski (2003). On Representing Semantics in Finite Models. In. In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science. Kluwer Academic Publishers. 15--28.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Marcin Mostowski (2001). On Representing Concepts in Finite Models. Mathematical Logic Quarterly 47 (4):513-523.
  12. Marcin Mostowski (1998). Computational Semantics for Monadic Quantifiers. Journal of Applied Non--Classical Logics 8 (1-2):107--121.
    The paper gives a survey of known results related to computational devices (finite and push–down automata) recognizing monadic generalized quantifiers in finite models. Some of these results are simple reinterpretations of descriptive—feasible correspondence theorems from finite–model theory. Additionally a new result characterizing monadic quantifiers recognized by push down automata is proven.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Michał Krynicki & Marcin Mostowski (1992). Decidability Problems in Languages with Henkin Quantifiers. Annals of Pure and Applied Logic 58 (2):149-172.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Marcin Mostowski (1991). Divisibility Quantifiers. Bulletin of the Section of Logic 20 (2):67-70.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Janusz Czelakowski, Alasdair Urquhart, Ryszard Wójcicki, Jan Woleński, Andrzej Sendlewski & Marcin Mostowski (1990). Books Received. [REVIEW] Studia Logica 49 (1):151-161.
  16. Marcin Mostowski (1989). Pure Logic with Branched Quantifiers. Mathematical Logic Quarterly 35 (1):45-48.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation