One-dimensional Fragment of First-order Logic

&
In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 274-293 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An Event-Based Fragment of First-Order Logic over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
Expressivity of Imperfect Information Logics without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
The undecidability of second order linear logic without exponentials.Yves Lafont - 1996 - Journal of Symbolic Logic 61 (2):541-548.
Axiomatizing the monodic fragment of first-order temporal logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
A phase semantics for polarized linear logic and second order conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Tolerance logic.Maarten Marx - 2001 - Journal of Logic, Language and Information 10 (3):353-374.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Deciding regular grammar logics with converse through first-order logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
Second-order logic : ontological and epistemological problems.Marcus Rossberg - 2006 - Dissertation, St Andrews
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
On contraction and the modal fragment.Kai Brünnler, Dieter Probst & Thomas Studer - 2008 - Mathematical Logic Quarterly 54 (4):345-349.

Analytics

Added to PP
2018-02-24

Downloads
8 (#1,283,306)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Separation logics and modalities: a survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.

Add more citations

References found in this work

On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
Complexity of the two-variable fragment with counting quantifiers.Ian Pratt-Hartmann - 2005 - Journal of Logic, Language and Information 14 (3):369-395.
Logical systems containing only a finite number of symbols.Leon Henkin - 1967 - Montreal,: Presses de l'Université de Montréal.
The Complexity of Reasoning with Boolean Modal Logics.Carsten Lutz & Ulrike Sattler - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 329-348.

View all 6 references / Add more references