JSYML 2002 - PDF Preprint Papers

JSYML 2002

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JSYML-2002 Paper

click to vote

JSYML
2002

170views more JSYML 2002»

Representability in Second-Order Propositional Poly-Modal Logic

14 years 3 days ago

Download philosophy.ucdavis.edu

A propositional system of modal logic is second-order if it contains quantifiers p and p, which, in the standard interpretation, are construed as ranging over sets of possible worl...

Gian Aldo Antonelli, Richmond H. Thomason

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	170	Representability in Second-Order Propositional Poly-Modal Logic	claim
2	114	Interpolation for First Order S5	claim
3	100	Deconstructing Inner Model Theory	claim
4	96	Definitions of Compactness and The Axiom of Choice	claim
5	92	Groundwork for Weak Analysis	claim
6	84	Maximal Contiguous Degrees	claim
7	81	Group Configurations and Germs in Simple Theories	claim
8	81	Modulated Fibring and The Collapsing Problem	claim
9	78	An Axiomatic Presentation of The Nonstandard Methods in Mathematics	claim
10	78	Some Results on Permutation Group Isomorphism and Categoricity	claim
11	75	Some Weak Fragments of HA and Certain Closure Properties	claim
12	70	Coding with Ladders A Well Ordering of The Reals	claim
13	67	On Regular Reduced Products	claim
14	66	Proving Consistency of Equational Theories in Bounded Arithmetic	claim
15	66	The Strict Order Property and Generic Automorphisms	claim
16	66	Open Questions in The Theory of Spaces of Orderings	claim
17	64	Blowing up The Power Set of The Least Measurable	claim
18	63	Wellordering Proofs for Metapredicative Mahlo	claim
19	61	On Polynomial Time Computation over Unordered Structures	claim
20	60	Compact Complex Manifolds with The Dop and Other Properties	claim
21	56	Borovik-Poizat Rank and Stability	claim
22	48	Sequences of n-Diagrams	claim
23	40	Forcing and Stable Ordered-Union Ultrafilters	claim
24	38	Splitting Properties of n-C.E. Enumeration Degrees	claim
25	36	A Unified Completeness Theorem for Quantified Modal Logics	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers