40 citations · 44 across the 19 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications
Antonis Achilleos
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.…
cs.LO2014
Modal Logics with Hard Diamond-free Fragments
Antonis Achilleos
We investigate the complexity of modal satisfiability for certain combinations of modal logics. In particular we examine four examples of multimodal logics with dependencies and de…