Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Hewitt, Carl
2019.
Physical Indeterminacy in Digital Computation.
SSRN Electronic Journal ,
Hewitt, Carl
2019.
Theory Ordinals Can Replace ZFC in Computer Science.
SSRN Electronic Journal ,
Hewitt, Carl
2020.
Recrafting Foundations of Computer Science.
SSRN Electronic Journal,
Baur, Michael
and
Studer, Thomas
2020.
Logic and Argumentation.
Vol. 12061,
Issue. ,
p.
42.
Protopopescu, Tudor
2020.
An arithmetic interpretation of intuitionistic verification.
Journal of Logic and Computation,
Vol. 30,
Issue. 1,
p.
381.
Artemov, Sergei
2020.
On aggregating probabilistic evidence.
Journal of Logic and Computation,
Vol. 30,
Issue. 1,
p.
61.
Kokkinis, Ioannis
Ognjanović, Zoran
and
Studer, Thomas
2020.
Probabilistic justification logic.
Journal of Logic and Computation,
Vol. 30,
Issue. 1,
p.
257.
Barenbaum, Pablo
and
Bonelli, Eduardo
2020.
Rewrites as Terms through Justification Logic.
p.
1.
Brünnler, Kai
Flumini, Dandolo
and
Studer, Thomas
2020.
A logic of blockchain updates.
Journal of Logic and Computation,
Vol. 30,
Issue. 8,
p.
1469.
Fitting, Melvin
2020.
Knowledge, Proof and Dynamics.
p.
147.
Fitting, Melvin
and
Salvatore, Felipe
2020.
First-order justification logic with constant domain semantics.
Journal of Logic and Computation,
Vol. 30,
Issue. 1,
p.
193.
Kurokawa, Hidenori
and
Kushida, Hirohiko
2020.
Resource sharing linear logic.
Journal of Logic and Computation,
Vol. 30,
Issue. 1,
p.
295.
Artemov, Sergei
2020.
Logical Foundations of Computer Science.
Vol. 11972,
Issue. ,
p.
12.
Lehmann, Eveline
and
Studer, Thomas
2020.
Logical Foundations of Computer Science.
Vol. 11972,
Issue. ,
p.
85.
Kushida, Hirohiko
2020.
Logical Foundations of Computer Science.
Vol. 11972,
Issue. ,
p.
75.
Pandžić, Stipe
2020.
Foundations of Information and Knowledge Systems.
Vol. 12012,
Issue. ,
p.
222.
Artemov, Sergei
2020.
Justification awareness.
Journal of Logic and Computation,
Vol. 30,
Issue. 8,
p.
1431.
Studer, Thomas
2021.
A Conflict Tolerant Logic of Explicit Evidence.
Logical Investigations,
Vol. 27,
Issue. 1,
p.
124.
ÉGRÉ, PAUL
MARTY, PAUL
and
RENNE, BRYAN
2021.
KNOWLEDGE, JUSTIFICATION, AND ADEQUATE REASONS.
The Review of Symbolic Logic,
Vol. 14,
Issue. 3,
p.
687.
Baur, Michael
and
Studer, Thomas
2021.
Semirings of Evidence.
Journal of Logic and Computation,
Vol. 31,
Issue. 8,
p.
2084.