Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Decidability of S4.1

Bibliographic Data

ID20142153
AuthorsKrister Segerberg (Uppsala University, corresponding author)
Year1968
Volume34
Issue1
Pages7-20
Publication date1968-04-01
Peer ReviewedYes
Open AccessYes
TypeARTICLE
VenueTheoria (JOURNAL)
Journal identifiersISSN: 0040-5825 • E-ISSN: 1755-2567
PublisherWiley (PUBLISHER • GB)
DOI10.1111/j.1755-2567.1968.tb00335.x
OpenAlexW1998889111
LanguageEN
Citations received3
References cited2

Calculus (dental) · Decidability · Discrete mathematics · Diverse Scientific and Economic Studies · German Economic Analysis & Policies · Mathematics · Medicine

  • Intensional logics and logical truth

    Open Access•M J Cresswell•Journal of Philosophical Logic•1972

  • Propositional quantifiers in modal logic 1

    Open Access•Kit Fine•Theoria•1970

  • Completeness and decidability of three logics of counterfactual conditionals 1

    Open Access•David Lewis•Theoria•1971

Unique citing works3
Citations per year0,05
Citation span1970 - 1972 (3)
Citation velocityhistorical
Highly citedNo
Citation typesNeutral: 3

Tools

Open DOISci-Hub
Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae