Searching for "Justification Logic." – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Lower Complexity Bounds in Justification Logic
- …Lower Complexity Bounds in Justification Logic Samuel R. Buss a,1 , Roman Kuznets ∗,b,2 a…
- Add To MetaCart
-
The NP-Completeness of Reflected Fragments of Justification Logics
- …The NP-Completeness of Reflected Fragments of Justification Logics Samuel R. Buss 1,⋆ and Roman…
- Cited by 2 (2 self) – Add To MetaCart
-
The Justification of Logical Theories based on Data Compression
- …The Justification of Logical Theories based on Data Compression Ashwin Srinivasan Stephen…
- Cited by 4 (0 self) – Add To MetaCart
-
Keywords Self-referentiality · Justification Logic · Epistemic modal logic · Logic of
- …-Referential Justifications in Epistemic Logic Roman Kuznets Received: September 30, 2008 / Accepted: March 24, 2009…
- Add To MetaCart
-
T.: Justifications for logic programs under answer set semantics
- …Justifications for Logic Programs under Answer Set Semantics Enrico Pontelli, Tran Cao Son Dept…
- Cited by 4 (0 self) – Add To MetaCart
-
On Epistemic Logic with Justification
- …On Epistemic Logic with Justification Sergei Artemov Elena Nogina ∗ Graduate Center CUNY BMCC CUNY…
- Cited by 13 (4 self) – Add To MetaCart
-
Basic systems of epistemic logic with justification
- …Basic systems of epistemic logic with justification Sergei Artemov Elena Nogina Graduate Center…
- Add To MetaCart
-
ON LOGIC: Inquiries into the Justification of Deduction
- …ON LOGIC Arthur Nieuwendijk ON LOGIC Inquiries into the Justification of Deduction ILLC…
- Cited by 1 (0 self) – Add To MetaCart
-
Logical omniscience via proof complexity
- … omniscient (modulo some common complexity assumptions). We also apply LOT to Justification Logic, which along…
- Cited by 5 (4 self) – Add To MetaCart
-
Thinking Skills
- …) Why is (….) true? Why is (….) false? b) Intuitive-experimental justification, logical inference…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
