Filtrer vos résultats
- 144
- 121
- 160
- 78
- 8
- 7
- 6
- 4
- 1
- 1
- 4
- 2
- 265
- 6
- 1
- 32
- 2
- 5
- 7
- 8
- 6
- 13
- 8
- 11
- 15
- 5
- 3
- 5
- 6
- 11
- 14
- 13
- 14
- 13
- 11
- 11
- 9
- 13
- 11
- 6
- 6
- 7
- 9
- 3
- 4
- 2
- 3
- 4
- 5
- 1
- 1
- 241
- 24
- 262
- 42
- 15
- 14
- 11
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 265
- 23
- 22
- 20
- 18
- 17
- 17
- 13
- 12
- 10
- 8
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
265 résultats
|
|
Complete axiomatization of a relative modal logic with composition and intersectionJournal of Applied Non-Classical Logics, 1998, 8-1998 (4), pp.325-335. ⟨10.1080/11663081.1998.10510949⟩
Article dans une revue
hal-03252480v1
|
||
Journal of Applied Non-Classical Logics (2010) : Special Issue 20th Anniversary - Part 2Balbiani, Philippe; Fariñas del Cerro, Luis; Herzig, Andreas. Hermès, 20 (4), pp.312-477, 2011, Journal of Applied Non-Classical Logics
Ouvrages
hal-03470292v1
|
|||
|
|
Quantifying over Asynchronous Information ChangeInternational Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Communication dans un congrès
hal-02936428v1
|
||
Logic and Information Security: Special issue of the Journal of Applied Non-Classical Logics 19-2009Journal of Applied Non-Classical Logics, 19 (4), 2009, ⟨10.1080/11663081.2009.9736630⟩
N°spécial de revue/special issue
hal-04000440v1
|
|||
|
|
Subset space logic with arbitrary announcements5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Communication dans un congrès
hal-01202518v1
|
||
Tableaux for public announcement logicsJournal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Article dans une revue
istex
hal-03470301v1
|
|||
|
|
Definability and computability for PRSPDL10th conference on Advances in Modal logic (AiML 2014), Aug 2014, Groningen, Netherlands. pp.16-33
Communication dans un congrès
hal-01650181v1
|
||
Axiomatization of logics based on Kripke models with relative accessibility relationsOrlowska, Ewa. Incomplete Information: Rough Set Analysis, STUDFUZZ 13 (Chapter 17), Physica-Verlag, pp.553--578, 1998, Studies in Fuzziness and Soft Computing, 978-3-7908-2457-5. ⟨10.1007/978-3-7908-1888-8_17⟩
Chapitre d'ouvrage
istex
hal-04010145v1
|
|||
Propositional dynamic logicEdward N. Zalta; Uri Nodelman. Stanford Encyclopedia of Philosophy, Center for the Study of Language and Information (CSLI), 2007, ISSN: 1095-5054 (Online)
Chapitre d'ouvrage
hal-04000458v1
|
|||
Représentation logique et traitement algorithmique du temps et de l'espace6èmes Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets ( JNPC 2000), Jun 2000, Marseille, France. pp.9--28
Communication dans un congrès
hal-04006718v1
|
|||
Axiomatization and completeness of lexicographic products of modal logics[Rapport de recherche] IRIT--2009, IRIT : Institut de Recherche en Informatique de Toulouse. 2009
Rapport
hal-03997685v1
|
|||
|
|
First-order characterization and modal analysis of indiscernibility and complementarity in information systems6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Sep 2001, Toulouse, France. pp.772-781, ⟨10.1007/3-540-44652-4_68⟩
Communication dans un congrès
istex
hal-03252571v1
|
||
|
|
Putting right the wording and the proof of the Truth Lemma for APALJournal of Applied Non-Classical Logics, 2015, 25 - 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Article dans une revue
hal-01739993v1
|
||
Inclusion relations and orthogonality relations over property systems: first-order characterization and modal analysis9th International Conference on Information Processing and Management of Uncertainty (IPMU 2002), Jul 2002, Annecy, France. pp.177--184
Communication dans un congrès
hal-04006711v1
|
|||
|
|
Decidable and undecidable problems for first-order definability and modal definabilityThirteenth International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia. pp.214-236, ⟨10.1007/978-3-030-98479-3_11⟩
Communication dans un congrès
hal-03248067v1
|
||
|
|
A formal examination of roles and permissions in access control3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Jan 2005, Cairo, Egypt. pp.1-4, ⟨10.1109/AICCSA.2005.1387087⟩
Communication dans un congrès
hal-04002017v1
|
||
A promenade from provability to consistencyLuis Fariñas del Cerro; Martti Penttonen. Intensional Logics for Programming, Oxford University Press, pp.195--219, 1992, Studies in Logic and Computation, 978-0198537755
Chapitre d'ouvrage
hal-04011846v1
|
|||
Représentation et raisonnement sur les intervalles cycliquesJournées nationales sur les modèles de raisonnement (JNMR 1999), CNRS GdR-PRC I3, 1999, Paris, France
Communication dans un congrès
hal-04010142v1
|
|||
Boolean Logics with Relations (RelMiCS 2008)10th International Conference on Relational Methods in Computer Science (RelMiCS 2008), Apr 2008, Frauenwörth, Germany. pp.4-21, ⟨10.1007/978-3-540-78913-0_3⟩
Communication dans un congrès
istex
hal-03999372v1
|
|||
|
|
The finiteness of logic programming derivations3rd International Conference on Algebraic and Logic Programming (ALP 1992), Sep 1992, Volterra, Italy. pp.403-419, ⟨10.1007/BFb0013840⟩
Communication dans un congrès
istex
hal-03252315v1
|
||
Un modèle pour raisonner sur les relations entre régions indéterminées11èmes Journées d'Intelligence Artificielle Fondamentale (IAF @ PFIA 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-01576040v1
|
|||
PDL with intersection of programs: a complete axiomatizationJournal of Applied Non-Classical Logics, 2003, 13 (3-4), pp.231--276. ⟨10.3166/jancl.13.231-276⟩
Article dans une revue
hal-04003603v1
|
|||
Dynamic Logics - Journal of Applied Non-Classical LogicsBalbiani, Philippe. Hermès, 15 (2), pp.113-239, 2005, Journal of Applied Non-Classical Logics
Ouvrages
hal-04002028v1
|
|||
Protocoles de communication inconditionnellement sûrsSécurité informatique : tendances et applications 2006, Jun 2006, Alger, Algérie
Communication dans un congrès
hal-04002016v1
|
|||
|
|
Controller/orchestrator synthesis via filtration6th Workshop on Methods for Modalities (M4M 2009), Nov 2009, Copenhague, Denmark. pp.33--48, ⟨10.1016/j.entcs.2010.04.004⟩
Communication dans un congrès
hal-03994854v1
|
||
|
|
Bisimulations for intuitionistic temporal logics (2020)Electronic Notes in Theoretical Computer Science, 2020
Article dans une revue
hal-02936452v1
|
||
|
|
Exploring the Bidimensional Space: a Dynamic Logic Point of View16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2017, Sao Paulo, Brazil. pp.132-140
Communication dans un congrès
hal-02361220v1
|
||
State of the art of network management and security. Contrat AIRSYS - IFAU (IP for Avionic Users)- Rapport de Lot 2.2.[Contrat] IRIT : Institut de Recherche en Informatique de Toulouse. 2006
Rapport
hal-04002026v1
|
|||
|
|
KD is nullaryJournal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.196-205. ⟨10.1080/11663081.2018.1428000⟩
Article dans une revue
hal-02365665v1
|
||
|
|
Unification in epistemic logicsJournal of Applied Non-Classical Logics, 2017, 27 (1-2), pp.91-105. ⟨10.1080/11663081.2017.1368845⟩
Article dans une revue
hal-02365663v1
|