[PDF][PDF] Modal logics for region-based theories of space
Modal Logics for Region-based Theories of Space Introduction Page 1 Fundamenta Informaticae
81 (2007) 29–82 29 IOS Press Modal Logics for Region-based Theories of Space Philippe …
81 (2007) 29–82 29 IOS Press Modal Logics for Region-based Theories of Space Philippe …
A simple proof of the completeness of APAL
P Balbiani, H Van Ditmarsch - arXiv preprint arXiv:1409.2612, 2014 - arxiv.org
arXiv:1409.2612v2 [cs.LO] 10 Sep 2014 Page 1 arXiv:1409.2612v2 [cs.LO] 10 Sep 2014 A simple
proof of the completeness of AP AL Philippe Balbiani∗ and Hans van Ditmarsch† October 14 …
proof of the completeness of AP AL Philippe Balbiani∗ and Hans van Ditmarsch† October 14 …
An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
We present a variant of ATL with incomplete information which includes the distributed
knowledge operators corresponding to synchronous action and perfect recall. The …
knowledge operators corresponding to synchronous action and perfect recall. The …
[PDF][PDF] Modal action logics for reasoning about reactive systems
JM Broersen - 2003 - research.vu.nl
Roughly, we can distinguish two types of researchers involved in logic related research: the
ones that are interested in applying logic and the ones that are interested in proving …
ones that are interested in applying logic and the ones that are interested in proving …
A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol
| Journal of Logic and Computation | Oxford Academic Skip to Main Content Advertisement …
| Journal of Logic and Computation | Oxford Academic Skip to Main Content Advertisement …
PDL with intersection of programs: a complete axiomatization
P Balbiani, D Vakarelov - Journal of Applied Non-Classical Logics, 2003 - Taylor & Francis
PDL with intersection of programs: a complete axiomatization Page 1 PDL with intersection of
programs: a complete axiomatization Philippe Balbiani* — Dimiter Vakarelov** * Institut de …
programs: a complete axiomatization Philippe Balbiani* — Dimiter Vakarelov** * Institut de …
[PDF][PDF] Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity
F Massacci - IJCAI, 2001 - academia.edu
In the quest for expressive description logics for real-world applications, a powerful
combination of constructs has so far eluded practical decision procedures: intersection and …
combination of constructs has so far eluded practical decision procedures: intersection and …
Iteration-free PDL with storing, recovering and parallel composition: a complete axiomatization
P Balbiani, J Boudou - Journal of Logic and Computation, 2018 - academic.oup.com
We devote this article to the axiomatization/completeness of PRSPDL 0—a variant of
iteration-free PDL with parallel composition. Our results are based on the following: although …
iteration-free PDL with parallel composition. Our results are based on the following: although …
Definability and computability for PRSPDL
P Balbiani, T Tinchev - 10th conference on Advances in Modal logic …, 2014 - hal.science
PRSPDL is a variant of PDL with parallel composition. In the Kripke models in which
PRSPDL-formulas are evaluated, states have an internal structure. We devote this paper to …
PRSPDL-formulas are evaluated, states have an internal structure. We devote this paper to …
Strong completeness for iteration-free coalgebraic dynamic logics
HH Hansen, C Kupke, RA Leal - … Computer Science: 8th IFIP TC 1/WG 2.2 …, 2014 - Springer
We present a (co) algebraic treatment of iteration-free dynamic modal logics such as
Propositional Dynamic Logic (PDL) and Game Logic (GL), both without star. The main …
Propositional Dynamic Logic (PDL) and Game Logic (GL), both without star. The main …