Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
5
views
49
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,018
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Introduction to Formal Philosophy
Logics of (Formal and Informal) Provability
other
Author(s):
Rafal Urbaniak
,
Pawel Pawlowski
Publication date
(Online):
October 25 2018
Publisher:
Springer International Publishing
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
ScienceOpen Research
Most cited references
49
Record
: found
Abstract
: not found
Book
: not found
Modal Logic
Patrick Blackburn
,
Maarten Rijke
,
Yde Venema
(2014)
0
comments
Cited
78
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Provability interpretations of modal logic
Robert Solovay
(1976)
0
comments
Cited
35
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book
: not found
Subsystems of Second Order Arithmetic
Stephen Simpson
(2009)
0
comments
Cited
32
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2018
Publication date (Online):
October 25 2018
Pages
: 191-237
DOI:
10.1007/978-3-319-77434-3_9
SO-VID:
ebe8c7b2-b584-411c-b5d1-6a8d774f9093
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Formalization
pp. 63
Argument
pp. 81
Formal Methods and the History of Philosophy
pp. 93
Nonmonotonic Reasoning
pp. 105
Induction
pp. 131
Conditionals
pp. 147
Neural Network Models of Conditionals
pp. 177
Proof Theory
pp. 191
Logics of (Formal and Informal) Provability
pp. 241
Theory of Concepts
pp. 251
Categories
pp. 273
Can Natural Language Be Captured in a Formal System?
pp. 289
Reference and Denotation
pp. 297
Indexicals
pp. 323
Necessity and Possibility
pp. 333
Bivalence and Future Contingency
pp. 351
Epistemic Logic and Epistemology
pp. 371
Knowledge Representation for Philosophers
pp. 387
Representing Uncertainty
pp. 401
Belief Change
pp. 417
Probability Theory
pp. 431
Bayesian Epistemology
pp. 443
Coherence
pp. 457
Computational Models in Science and Philosophy
pp. 469
Models of the Development of Scientific Theories
pp. 487
Space and Time
pp. 499
Formal Investigations of Value
pp. 523
Value Theory (Axiology)
pp. 535
Preference and Choice
pp. 549
Preference Change
pp. 567
Money-Pumps
pp. 577
Deontic Logic
pp. 591
Action Theories
pp. 611
Decision Theory: A Formal Philosophical Introduction
pp. 657
Dynamic Decision Theory
pp. 669
Causal Decision Theory
pp. 693
Social Choice and Voting
pp. 705
Judgment Aggregation
pp. 721
Logical Approaches to Law
Similar content
2,018
An efficient client–client password-based authentication scheme with provable security
Authors:
Mohammad Farash
,
Mahmoud Ahmadian Attari
Provable Benefits of Policy Learning from Human Preferences in Contextual Bandit Problems
Authors:
Xiang Ji
,
Huazheng Wang
,
Minshuo Chen
…
Provably Efficient Algorithms for Placement of Service Function Chains with Ordering Constraints
Authors:
A. Tomassilli
,
F. Giroire
,
N. Huin
…
See all similar