Justification Logic (Q3532452): Difference between revisions

@@ Property / author @@
-Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
-Normal rank
@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87803-2_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2913659353
@@ Property / OpenAlex ID: W2913659353 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justified common knowledge
@@ Property / cites work: Justified common knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic
@@ Property / cites work: Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Omniscience Via Proof Complexity
@@ Property / cites work: Logical Omniscience Via Proof Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Introducing Justification into Epistemic Logic
@@ Property / cites work: Introducing Justification into Epistemic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / rank @@
+Normal rank
@@ Property / cites work @@
+Belief, awareness, and limited reasoning
@@ Property / cites work: Belief, awareness, and limited reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Active agents
@@ Property / cites work: Active agents / rank @@
+Normal rank
@@ Property / cites work @@
+Impossible possible worlds vindicated
@@ Property / cites work: Impossible possible worlds vindicated / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753686
@@ Property / cites work: Q2753686 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4858037
@@ Property / cites work: Q4858037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5203717
@@ Property / cites work: Q5203717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342082
@@ Property / cites work: Q4342082 / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in modal logic
@@ Property / cites work: An essay in modal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3532452