![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Rosalie Iemhoff
Person information
- affiliation: Utrecht University, The Netherlands
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c11]Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff:
A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised. TABLEAUX 2023: 73-93 - [i5]Rosalie Iemhoff, Raheleh Jalali:
Universal Proof Theory, TACL 2022 Lecture Notes. CoRR abs/2305.10888 (2023) - [i4]Ian Shillito, Iris van der Giessen, Rajeev Goré, Rosalie Iemhoff
:
A new calculus for intuitionistic Strong Löb logic: strong termination and cut-elimination, formalised. CoRR abs/2309.00486 (2023) - 2022
- [j33]Rosalie Iemhoff
:
The G4i Analogue of a G3i Sequent Calculus. Stud Logica 110(6): 1493-1506 (2022) - [c10]Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai:
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML 2022: 77-96 - [i3]Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali:
Uniform Lyndon interpolation for intuitionistic monotone modal logic. CoRR abs/2208.04607 (2022) - [i2]Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali:
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. CoRR abs/2208.05202 (2022) - 2021
- [j32]Rosalie Iemhoff
, Robert Paßmann:
Logics of intuitionistic Kripke-Platek set theory. Ann. Pure Appl. Log. 172(10): 103014 (2021) - [j31]Iris van der Giessen, Rosalie Iemhoff
:
Sequent Calculi for Intuitionistic Gödel-Löb Logic. Notre Dame J. Formal Log. 62(2) (2021) - [c9]Amirhossein Akbar Tabatabai, Rosalie Iemhoff
, Raheleh Jalali:
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. WoLLIC 2021: 287-301 - 2020
- [j30]Ivano Ciardelli, Rosalie Iemhoff
, Fan Yang
:
Questions and Dependency in Intuitionistic Logic. Notre Dame J. Formal Log. 61(1): 75-115 (2020)
2010 – 2019
- 2019
- [j29]Rosalie Iemhoff
:
Uniform interpolation and sequent calculi in modal logic. Arch. Math. Log. 58(1-2): 155-181 (2019) - [j28]Rosalie Iemhoff
:
Uniform interpolation and the existence of sequent calculi. Ann. Pure Appl. Log. 170(11) (2019) - [e1]Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lecture Notes in Computer Science 11541, Springer 2019, ISBN 978-3-662-59532-9 [contents] - 2018
- [j27]Rosalie Iemhoff:
Terminating sequent calculi for two intuitionistic modal logics. J. Log. Comput. 28(7): 1701-1712 (2018) - [c8]Rosalie Iemhoff:
The Existence of Proof Systems. Advances in Modal Logic 2018: 7 - 2017
- [j26]Rosalie Iemhoff:
On the Existence of Alternative Skolemization Methods. FLAP 4(4) (2017) - [i1]Ivano Ciardelli, Rosalie Iemhoff, Fan Yang:
Questions and dependency in intuitionistic logic. CoRR abs/1704.01866 (2017) - 2016
- [j25]Rosalie Iemhoff
, Fan Yang
:
Structural completeness in propositional logics of dependence. Arch. Math. Log. 55(7-8): 955-975 (2016) - [j24]Matthias Baaz, Rosalie Iemhoff
:
Skolemization in intermediate logics with the finite model property. Log. J. IGPL 24(3): 224-237 (2016) - [j23]Rosalie Iemhoff
:
Consequence Relations and Admissible Rules. J. Philos. Log. 45(3): 327-348 (2016) - [j22]Guram Bezhanishvili, Nick Bezhanishvili
, Rosalie Iemhoff
:
Stable Canonical Rules. J. Symb. Log. 81(1): 284-315 (2016) - [j21]Rosalie Iemhoff:
A Syntactic Approach to Unification in Transitive Reflexive Modal Logics. Notre Dame J. Formal Log. 57(2): 233-247 (2016) - [j20]Rosalie Iemhoff, George Metcalfe:
Special Issue on Admissible Rules and Unification. Notre Dame J. Formal Log. 57(4): 441-442 (2016) - 2015
- [j19]Rosalie Iemhoff:
On Rules. J. Philos. Log. 44(6): 697-711 (2015) - [j18]Rosalie Iemhoff
, Paul Rozière:
Unification in Intermediate Logics. J. Symb. Log. 80(3): 713-729 (2015) - 2014
- [j17]Jeroen P. Goudsmit
, Rosalie Iemhoff
:
On unification and admissible rules in Gabbay-de Jongh logics. Ann. Pure Appl. Log. 165(2): 652-672 (2014) - [j16]Petr Cintula, Rosalie Iemhoff, Shier Ju:
Editorial: Special issue on non-classical modal and predicate logics. Log. J. IGPL 22(3): 411-412 (2014) - 2013
- [c7]Rosalie Iemhoff:
Tutorial on Admissible Rules in Gudauri. TbiLLC 2013: 10-17 - 2011
- [j15]Matthias Baaz
, Rosalie Iemhoff:
Eskolemization in Intuitionistic Logic. J. Log. Comput. 21(4): 625-638 (2011) - [c6]Rosalie Iemhoff:
Unification in Logic. WoLLIC 2011: 2 - 2010
- [j14]Rosalie Iemhoff:
Kripke models for subtheories of CZF. Arch. Math. Log. 49(2): 147-167 (2010) - [j13]Rosalie Iemhoff:
The eskolemization of universal quantifiers. Ann. Pure Appl. Log. 162(3): 201-212 (2010)
2000 – 2009
- 2009
- [j12]Rosalie Iemhoff, George Metcalfe
:
Proof theory for admissible rules. Ann. Pure Appl. Log. 159(1-2): 171-186 (2009) - [c5]Rosalie Iemhoff, George Metcalfe
:
Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics. LFCS 2009: 230-245 - 2008
- [j11]Matthias Baaz
, Rosalie Iemhoff:
On Skolemization in constructive theories. J. Symb. Log. 73(3): 969-998 (2008) - 2007
- [j10]Sergei N. Artëmov, Rosalie Iemhoff:
The basic intuitionistic logic of proofs. J. Symb. Log. 72(2): 439-451 (2007) - 2006
- [j9]Rosalie Iemhoff:
On the rules of intermediate logics. Arch. Math. Log. 45(5): 581-599 (2006) - [j8]Matthias Baaz
, Rosalie Iemhoff:
The Skolemization of existential quantifiers in intuitionistic logic. Ann. Pure Appl. Log. 142(1-3): 269-295 (2006) - [j7]Matthias Baaz
, Rosalie Iemhoff:
Gentzen Calculi for the Existence Predicate. Stud Logica 82(1): 7-23 (2006) - 2005
- [j6]Rosalie Iemhoff, Dick De Jongh, Chunlai Zhou:
Properties of Intuitionistic Provability and Preservativity Logics. Log. J. IGPL 13(6): 615-636 (2005) - [j5]Rosalie Iemhoff:
A Note on Linear Kripke Models. J. Log. Comput. 15(4): 489-506 (2005) - [j4]Rosalie Iemhoff:
Intermediate Logics and Visser's Rules. Notre Dame J. Formal Log. 46(1): 65-81 (2005) - [c4]Matthias Baaz, Rosalie Iemhoff:
On the Proof Theory of the Existence Predicate. We Will Show Them! (1) 2005: 125-166 - [c3]Matthias Baaz
, Rosalie Iemhoff:
On Interpolation in Existence Logics. LPAR 2005: 697-711 - 2003
- [j3]Rosalie Iemhoff:
Preservativity logic: An analogue of interpretability logic for constructive theories. Math. Log. Q. 49(3): 230-249 (2003) - [c2]Rosalie Iemhoff:
Towards a Proof System for Admissibility. CSL 2003: 255-270 - 2001
- [j2]Rosalie Iemhoff:
A (nother) characterization of intuitionistic propositional logic. Ann. Pure Appl. Log. 113(1-3): 161-173 (2001) - [j1]Rosalie Iemhoff:
On The Admissible Rules of Intuitionistic Propositional Logic. J. Symb. Log. 66(1): 281-294 (2001)
1990 – 1999
- 1998
- [c1]Rosalie Iemhoff:
A Modal Analysis of Some Principles of the Provability Logic of Heyting Artihmetic. Advances in Modal Logic 1998: 301-336
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint