Skip to main content
SpringerLink
Log in

Guarded Fragments with Constants

  • Published:
Journal of Logic, Language and Information Aims and scope Submit manuscript

Abstract

We prove ExpTime-membership of the satisfiability problem for loosely ∀-guarded first-order formulas with a bounded number of variables and an unbounded number of constants. Guarded fragments with constants are interesting by themselves and because of their connection to hybrid logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Andréka, H., van Benthem, J., and Németi, I., 1998, “Modal logics and bounded fragments of predicate logic,” Journal of Philosophical Logic 27(3), 217–274.

    Article  Google Scholar 

  • Blackburn, P., 2000, “Representation, reasoning, and relational structures: A hybrid logic manifesto,” Logic Journal of the IGPL 8(3), 339–365.

    Article  Google Scholar 

  • Börger, E., Grädel, E., and Gurevich, Y., 1997, The Classical Decision Problem, Berlin: Springer.

    Google Scholar 

  • Grädel, E., 1999, “On the restraining power of guards,” Journal of Symbolic Logic 64, 1719–1742.

    Google Scholar 

  • Hoogland, E. and Marx, M., 2002, “Interpolation and definability in guarded fragments,” Studia Logica 70(3), 373–409.

    Google Scholar 

  • Marx, M., 2001, “Tolerance logic,” Journal of Logic, Language, and Information 10(3), 353–373.

    Google Scholar 

  • ten Cate, B., 2005, ‘Interpolation for extended modal languages,” Journal of Symbolic Logic 70(1), 223–234.

    Article  Google Scholar 

  • ten Cate, B. and Franceschet, M., 2004, “Guarded fragments with constants,” Technical Report PP-2004-32, ILLC, Universiteit van Amsterdam. Available from http://www.illc.uva.nl/Publications/ResearchReports/PP-2004-32.text.pdf.

  • van Benthem, J.: 1997, “Dynamic bits and pieces,” Technical Report LP-97-01, ILLC, University of Amsterdam. Available from http://www.illc.uva.nl/Publications/ResearchReports/LP-1997-01.text.pdf.

Download references

Author information

Authors and Affiliations

  1. Informatics Institute, University of Amsterdam, Kruislaan 403, 1098, SJ, Amsterdam, The Netherlands

    Balder ten Cate & Massimo Franceschet

  2. Department of Sciences, University of Chieti and Pescara, Viale Pindaro, 42 – 65127, Pescara, Italy

    Massimo Franceschet

Authors
  1. Balder ten Cate
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Massimo Franceschet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Balder ten Cate.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cate, B.t., Franceschet, M. Guarded Fragments with Constants. J Logic Lang Inf 14, 281–288 (2005). https://doi.org/10.1007/s10849-005-5787-x

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10849-005-5787-x

Keywords

Search

Navigation