Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

You searched for id:"oai:elib.suub.uni-bremen.de:DISS/00106704". One record found.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universität Bremen

1. Martel, Mauricio. Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power.

Degree: PhD, FB3, 2018, Universität Bremen

In this thesis, we investigate the decidability and computational complexity of (deductive) conservative extensions in expressive fragments of first-order logic, such as two-variable and guarded fragments. Moreover, we also investigate the complexity of (query) conservative extensions in Horn description logics with inverse roles. Aditionally, we investigate the computational complexity of the satisfiability problem in the unary negation fragment of first-order logic extended with regular path expressions. Besides complexity results, we also study the expressive power of relation-changing modal logics. In particular, we provide translations intto hybrid logic and compare their expressive power using appropriate notions of bisimulations. Advisors/Committee Members: Lutz, Carsten (advisor), Lutz, Carsten (referee), Sattler, Ulrike (referee).

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Martel, M. (2018). Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power. (Doctoral Dissertation). Universität Bremen. Retrieved from http://elib.suub.uni-bremen.de/edocs/00106704-1.pdf

Chicago Manual of Style (16th Edition):

Martel, Mauricio. “Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power.” 2018. Doctoral Dissertation, Universität Bremen. Accessed December 19, 2018. http://elib.suub.uni-bremen.de/edocs/00106704-1.pdf.

MLA Handbook (7th Edition):

Martel, Mauricio. “Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power.” 2018. Web. 19 Dec 2018.

Vancouver:

Martel M. Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power. [Internet] [Doctoral dissertation]. Universität Bremen; 2018. [cited 2018 Dec 19]. Available from: http://elib.suub.uni-bremen.de/edocs/00106704-1.pdf.

Council of Science Editors:

Martel M. Conservative Extensions and Satisfiability in Fragments of First-Order Logic : Complexity and Expressive Power. [Doctoral Dissertation]. Universität Bremen; 2018. Available from: http://elib.suub.uni-bremen.de/edocs/00106704-1.pdf

.