Smullyan48
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
has-web-address: http://projecteuclid.org/euclid.jsl/1183409245
has-volume: 13
has-title: Modality and Description.
type: Article-Reference

Copilowish48
type: Article-Reference
has-title: Matrix Development of the Calculus of Relations.
type: Thing
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948
has-web-address: http://projecteuclid.org/euclid.jsl/1183730521

McKinseyT48
has-volume: 13
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183409243
type: Thing
has-title: Some Theorems About the Sentential Calculi of Lewis and Heyting.
has-date: http://www.aktors.org/ontology/date#1948

Copilowish48
has-volume: 13
has-title: Matrix Development of the Calculus of Relations.
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183730521

http://dblp.rkbexplorer.com/id/people-08747f94d202e41d944c2991e9ca9ca4-a39dcd443a5796fa6a5f138db18c32e9
full-name: Gustav Bergmann
type: Person
type: Thing

Smullyan48
has-web-address: http://projecteuclid.org/euclid.jsl/1183409245
type: Thing
type: Article-Reference
has-date: http://www.aktors.org/ontology/date#1948
has-title: Modality and Description.
has-volume: 13

http://dblp.rkbexplorer.com/id/journals-cd761b4aebc5ac2ad8d181327497e7b1
has-title: J. Symb. Log.
type: Journal
type: Thing

Hallden48
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730444
has-title: A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1.
type: Article-Reference
has-volume: 13

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-ed031805254b704db945261b8c04c899
full-name: Frederic Brenton Fitch
type: Person
type: Thing

Wang48
has-web-address: http://projecteuclid.org/euclid.jsl/1183730443
has-title: A New Theory of Element and Number.
type: Article-Reference
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
has-volume: 13

Fitch48
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409246
has-volume: 13
has-title: Corrections to Two Papers on Modal Logic.
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-236992e7330767d1077bb27a6912b358-270947f4ff54cccc16acd3f050b041d3
full-name: Alfred Tarski
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-c0fb6a4870055d87ed0227b669c9783f-29340df85b291547efe446f43737b127
full-name: Arthur Francis Smullyan
type: Person
type: Thing

Mostowski48
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
has-title: Proofs of Non-Deducibility in Intuitionistic Functional Calculus.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730522
has-volume: 13
type: Article-Reference

DBLP : dblp-publications.rdf
title: DBLP : dblp-publications-1948.rdf
creator: ReSIST Project
creator: Christopher Franklin
description: This ontology contains information detailing publications from dblp
type: Thing
type: Ontology
imports: extension
imports: portal

Fitch48a
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183410408
has-title: An Extension of Basic Logic.
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948
type: Thing

http://dblp.rkbexplorer.com/id/people-a81f6d054dbd510288e1b124ac64a474-abf49ebe57cf2a5a2312b0badf231115
full-name: Irving M. Copilowish
type: Person
type: Thing

Fitch48a
has-title: An Extension of Basic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183410408
type: Article-Reference
type: Thing
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948

Hallden48
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183730444
has-volume: 13
type: Thing
has-title: A Note Concerning the Paradoxes of Strict Implication and Lewis's System S1.
has-date: http://www.aktors.org/ontology/date#1948

http://dblp.rkbexplorer.com/id/people-6659e2fbef9d24248783d347de6ceb7a-4ccc5a08b77fc2fc2ee3ba32e403edc8
full-name: Max Black
type: Person
type: Thing

Black48
has-title: Tenth Meeting of the Association for Symbolic Logic.
has-web-address: http://projecteuclid.org/euclid.jsl/1183409278
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
has-volume: 13
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-236992e7330767d1077bb27a6912b358-acbafa82f1c184e45350a71847da8c86
full-name: Alfred Tarski
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-30b8c3601bf33557a3a7106b23e12776-2ee4efe6fdbc5ccf60d9c5502c9b8449
full-name: John G. Kemeny
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-a287f1da7a236676fe9a136254ccf1a8-23a39a116ca7e878db9bd7f6736a3bb6
full-name: Paul Bernays
type: Person
type: Thing

http://www.aktors.org/ontology/date#1948
year-of: 1948
type: Calendar-Date
type: Thing

Mostowski48
has-web-address: http://projecteuclid.org/euclid.jsl/1183730522
type: Thing
has-volume: 13
has-title: Proofs of Non-Deducibility in Intuitionistic Functional Calculus.
has-date: http://www.aktors.org/ontology/date#1948
type: Article-Reference

Bernays48
has-volume: 13
has-web-address: http://projecteuclid.org/euclid.jsl/1183410406
type: Article-Reference
has-title: A System of Axiomatic Set Theory--Part VI.
type: Thing
has-date: http://www.aktors.org/ontology/date#1948

Turing48
has-date: http://www.aktors.org/ontology/date#1948
has-volume: 13
type: Thing
type: Article-Reference
has-title: Practical Forms of Type Theory.
has-web-address: http://projecteuclid.org/euclid.jsl/1183410407

Bernays48
type: Thing
has-title: A System of Axiomatic Set Theory--Part VI.
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948
has-web-address: http://projecteuclid.org/euclid.jsl/1183410406
type: Article-Reference

Kemeny48
has-web-address: http://projecteuclid.org/euclid.jsl/1183409244
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
type: Article-Reference
has-title: Models of Logical Systems.

Turing48
has-volume: 13
type: Thing
has-title: Practical Forms of Type Theory.
has-date: http://www.aktors.org/ontology/date#1948
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183410407

http://dblp.rkbexplorer.com/id/people-f506922a6a041e1332a503809137d194-41f9c82b1c1b227189b29994ccb36539
full-name: J. Barkley Rosser
type: Person
type: Thing

Kemeny48
has-web-address: http://projecteuclid.org/euclid.jsl/1183409244
has-volume: 13
has-title: Models of Logical Systems.
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
type: Article-Reference

Bergmann48
has-web-address: http://projecteuclid.org/euclid.jsl/1183730445
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
type: Article-Reference
has-volume: 13
has-title: Contextual Definitions in Nonextensional Languages.

http://dblp.rkbexplorer.com/id/people-a27f18ebafc0d76ddb05173ce7b9873d-e0b388b7c1e0985b1371d73ee1fae8b5
full-name: Alan M. Turing
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-3e49650864256fb1a74e566e7c7f2545-abb9663a3ed551f31ba5aec7323e641f
full-name: Hao Wang
type: Person
type: Thing

McKinseyT48
has-volume: 13
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409243
has-date: http://www.aktors.org/ontology/date#1948
has-title: Some Theorems About the Sentential Calculi of Lewis and Heyting.
type: Article-Reference

Tarski48
has-web-address: http://projecteuclid.org/euclid.jsl/1183410409
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
has-title: A Problem Concerning the Notion of Definability.
has-volume: 13
type: Article-Reference

RosserT48
has-volume: 13
type: Thing
has-date: http://www.aktors.org/ontology/date#1948
has-web-address: http://projecteuclid.org/euclid.jsl/1183730520
has-title: Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.
type: Article-Reference

RosserT48
has-date: http://www.aktors.org/ontology/date#1948
has-title: Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility.
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183730520
has-volume: 13
type: Article-Reference

Tarski48
has-title: A Problem Concerning the Notion of Definability.
has-web-address: http://projecteuclid.org/euclid.jsl/1183410409
type: Article-Reference
type: Thing
has-volume: 13
has-date: http://www.aktors.org/ontology/date#1948

Bergmann48
has-date: http://www.aktors.org/ontology/date#1948
has-title: Contextual Definitions in Nonextensional Languages.
has-web-address: http://projecteuclid.org/euclid.jsl/1183730445
type: Article-Reference
has-volume: 13
type: Thing

Fitch48
has-date: http://www.aktors.org/ontology/date#1948
type: Thing
has-title: Corrections to Two Papers on Modal Logic.
type: Article-Reference
has-web-address: http://projecteuclid.org/euclid.jsl/1183409246
has-volume: 13

http://dblp.rkbexplorer.com/id/people-a3c4d230b0325434f6f2a06a1afa988b-41f9c82b1c1b227189b29994ccb36539
full-name: Atwell R. Turquette
type: Person
type: Thing

Black48
has-date: http://www.aktors.org/ontology/date#1948
has-title: Tenth Meeting of the Association for Symbolic Logic.
has-volume: 13
type: Thing
has-web-address: http://projecteuclid.org/euclid.jsl/1183409278
type: Article-Reference

http://dblp.rkbexplorer.com/id/people-112fdd35ed1a30dcc6f01c2700270fb4-ecc977294d5ad51c59b68f9be2703d6c
full-name: Soren Hallden
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-c1b856bfc4a7adb286b9c70c1e9d4928-270947f4ff54cccc16acd3f050b041d3
full-name: J. C. C. McKinsey
type: Person
type: Thing

http://dblp.rkbexplorer.com/id/people-7462c358b5385b45c6cdbc1952bd2c48-5babc787b17137fbb29fca51c80b4354
full-name: Frederic Brenton Fitch
type: Person
type: Thing

Wang48
has-web-address: http://projecteuclid.org/euclid.jsl/1183730443
has-volume: 13
has-title: A New Theory of Element and Number.
has-date: http://www.aktors.org/ontology/date#1948
type: Article-Reference
type: Thing

http://dblp.rkbexplorer.com/id/people-b60532336ff81c263727d0aa7b517792-d91064540094091610dc0893297ae015
full-name: Andrzej Mostowski
type: Person
type: Thing