2015
DOI: 10.1007/978-3-319-17130-2_12
|View full text |Cite
|
Sign up to set email alerts
|

Tableaux and Complexity Bounds for a Multiagent Justification Logic with Interacting Justifications

Abstract: The Logic of Proofs, LP, and its successor, Justification Logic, is a refinement of the modal logic approach to epistemology in which proofs/justifications are taken into account. In 2000 Kuznets showed that satisfiability for LP is in the second level of the polynomial hierarchy, a result which has been successfully repeated for all other one-agent justification logics whose complexity is known. We introduce a family of multi-agent justification logics with interactions between the agents' justifications, by … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
2

Citation Types

0
16
0

Year Published

2015
2015
2024
2024

Publication Types

Select...
2
1

Relationship

2
1

Authors

Journals

citations
Cited by 3 publications
(16 citation statements)
references
References 17 publications
0
16
0
Order By: Relevance
“…-If i ֒→ j, then for any a, b, c ∈ W , if aR i bR j c, we also have aR j c. 4 -For any i ⊂ j, R i ⊆ R j . Truth in the model is defined in the following way, given a state a:…”
Section: Semanticsmentioning
confidence: 99%
See 4 more Smart Citations
“…-If i ֒→ j, then for any a, b, c ∈ W , if aR i bR j c, we also have aR j c. 4 -For any i ⊂ j, R i ⊆ R j . Truth in the model is defined in the following way, given a state a:…”
Section: Semanticsmentioning
confidence: 99%
“…Completeness is proven in [3,4] by a canonical model construction with maximally consistent sets of formulas as states; Proposition 1 is then proven by a modification of that canonical model construction that depends on the particular satisfiable formula φ. Proposition 1 ( [3,4]). If φ is J-satisfiable, then φ is satisfiable by an F-model for J of at most 2 |φ| states which has the strong evidence property.…”
Section: Semanticsmentioning
confidence: 99%
See 3 more Smart Citations