Results 261 to 270 of about 902,991 (274)

Relevant Justification Logic

FLAP, 2019
Nenad Savic, Thomas Studer
openaire   +2 more sources

Getting some (non-classical) closure with justification logic

Asian Journal of Philosophy, 2023
Rohan French, Shawn Standefer, Ted Shear   +2 more
exaly  

Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic

Lecture Notes in Computer Science, 2022
Neil Deboer
exaly  

A Note on Strong Axiomatization of Gödel Justification Logic

Studia Logica, 2019
Nicholas Pischke
exaly  

Probabilistic Justification Logic

Lecture Notes in Computer Science, 2016
Ioannis Kokkinis, Thomas Studer, Zoran Ognjanovic   +2 more
exaly  

Justification Logic

2019
Sergei Artemov, Melvin Fitting
openaire   +1 more source

J-Calc: A Typed Lambda Calculus for Intuitionistic Justification Logic

Electronic Notes in Theoretical Computer Science, 2014
Giuseppe Primiero, Konstantinos Pouliasis   +1 more
exaly  

A complexity question in justification logic

Journal of Computer and System Sciences, 2014
Antonis Achilleos
exaly  

Intuitionist logic, a logic of justification

Studia Logica, 1978
openaire   +2 more sources

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic

Studia Logica, 2018
Grigory Olkhovikov, Heinrich Wansing
exaly