![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 38 matches
- 1991
- Lev D. Beklemishev
:
Provability logics for natural turing progressions of arithmetical theories. Stud Logica 50(1): 107-128 (1991) - Willem J. Blok, Don Pigozzi:
Introduction. Stud Logica 50(3-4): 365-374 (1991) - George Boolos, Giovanni Sambin:
Provability: the emergence of a mathematical modality. Stud Logica 50(1): 1-23 (1991) - David Booth:
Logical feedback. Stud Logica 50(2): 225-239 (1991) - R. A. Bull:
Review. Stud Logica 50(3-4): 623-629 (1991) - Alexander V. Chagrov, Michael Zakharyaschev
:
The disjunction property of intermediate propositional logics. Stud Logica 50(2): 189-216 (1991) - Roberto Cignoli:
Complete and atomic algebras of the infinite valued Łukasiewicz logic. Stud Logica 50(3-4): 375-384 (1991) - Janusz Czelakowski:
Books received. Stud Logica 50(2): 351-357 (1991) - Janusz Czelakowski, Wieslaw Dziobiak:
A deduction theorem schema for deductive systems of propositional logics. Stud Logica 50(3-4): 385-390 (1991) - Janusz Czelakowski, Lawrence S. Moss:
Books received. Stud Logica 50(1): 161-167 (1991) - Giorgie Dzhaparidze
:
Predicate provability logic with non-modalized quantifiers. Stud Logica 50(1): 149-160 (1991) - Isidore Fleischer, Philip Scott:
An algebraic treatment of the barwise compactness theory. Stud Logica 50(2): 217-223 (1991) - Josep Maria Font, Ventura Verdú:
Algebraic logic for classical conjunction and disjunction. Stud Logica 50(3-4): 391-419 (1991) - Petr Hájek, Vítezslav Svejdar:
A note on the normal form of closed formulas of interpretability logic. Stud Logica 50(1): 25-28 (1991) - Sven Ove Hansson:
Belief contraction without recovery. Stud Logica 50(2): 251-260 (1991) - Fred Johnson:
Three-membered domains for aristotle's syllogistic. Stud Logica 50(2): 181-187 (1991) - Dick de Jongh, Marc Jumelet, Franco Montagna:
On the proof of Solovay's theorem. Stud Logica 50(1): 51-69 (1991) - Dick de Jongh, Franco Montagna:
Rosser orderings and free variables. Stud Logica 50(1): 71-80 (1991) - Dick de Jongh, Albert Visser:
Explicit Fixed Points in Interpretability Logic. Stud Logica 50(1): 39-49 (1991) - Eiji Kiriyama, Hlroakira Ono:
The contraction rule and decision problems for logics without structural rules. Stud Logica 50(2): 299-319 (1991) - Roger D. Maddux:
The origin of relation algebras in the development and axiomatization of the calculus of relations. Stud Logica 50(3-4): 421-455 (1991) - Larisa Maksimova:
Amalgamation and interpolation in normal modal logics. Stud Logica 50(3-4): 457-471 (1991) - S. I. Mardaev:
Two sequences of locally tabular superintuitionistic logics. Stud Logica 50(2): 333-342 (1991) - Luiz F. Monteiro, Sonia Savini, Julio Sewald:
Construction of monadic three-valued Łukasiewicz algebras. Stud Logica 50(3-4): 473-483 (1991) - István Németi:
Algebraization of quantifier logics, an introductory overview. Stud Logica 50(3-4): 485-569 (1991) - Vaughan R. Pratt:
Dynamic algebras: Examples, constructions, applications. Stud Logica 50(3-4): 571-605 (1991) - Graham Priest:
Minimally inconsistent LP. Stud Logica 50(2): 321-331 (1991) - Wolfgang Rautenberg:
Axiomatizing logics closely related to varieties. Stud Logica 50(3-4): 607-622 (1991) - Maarten de Rijke:
A note on the interpretability logic of finitely axiomatized theories. Stud Logica 50(2): 241-250 (1991) - V. Yu. Shavrukov:
The Lindenbaum fixed point algebra is undecidable. Stud Logica 50(1): 143-148 (1991)
skipping 8 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.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.
retrieved on 2024-08-22 00:39 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint