Searching for authors named "Philippe Balbiani" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
A New Proof of Completeness for a Relative Modal Logic With Composition and Intersection
- … Balbiani Laboratoire d'informatique de Paris-Nord Abstract This paper is devoted to the completeness…
- Cited by 1 (0 self) – Add To MetaCart
-
The Modal Multilogic of Geometry
- …The modal multilogic of geometry Philippe Balbiani Laboratoire d'informatique de Paris…
- Cited by 7 (1 self) – Add To MetaCart
-
Inequality Without Irreflexivity
- …Inequality without irreflexivity Philippe Balbiani Laboratoire d'informatique de Paris…
- Cited by 6 (2 self) – Add To MetaCart
-
Modal Logics for Parallelism, Orthogonality, and Affine Geometries
- …Modal Logics for Parallelism, Orthogonality, and Ane Geometries Philippe Balbiani 1 and Valentin…
- Cited by 2 (1 self) – Add To MetaCart
-
Prefixed Tableaux Systems for Modal Logics with Enriched Languages
- …Prefixed Tableaux Systems for Modal Logics with Enriched Languages* Philippe Balbiani Laboratoire…
- Cited by 5 (2 self) – Add To MetaCart
-
A Hierarchy of Modal Logics With Relative Accessibility Relations
- …A hierarchy of modal logics with relative accessibility relations Philippe Balbiani and Ewa Or…
- Cited by 10 (1 self) – Add To MetaCart
-
A Relational Model of Movement
- …A relational model of movement Philippe Balbiani and Luis Fari~ nas del Cerro Laboratoire d…
- Add To MetaCart
-
Reasoning about generalized intervals: Horn representability and tractability
- …Reasoning about generalized intervals: Horn representability and tractability Philippe Balbiani…
- Add To MetaCart
-
Complete Axiomatization of a Relative Modal Logic With Composition and Intersection
- … Balbiani, Luis Fari~ nas del Cerro Laboratoire d'informatique de Paris-Nord Institut de recherche en…
- Add To MetaCart
-
A Relational Model of Movement
- …A relational model of movement Philippe Balbiani and Luis Fari~ nas del Cerro Laboratoire d…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
