Hybrid Logic is a modal logic framework that extends basic modal logic by incorporating nominals and satisfaction operators to enable direct reference to and reasoning about specific states within a model.
171
Publications
7.1K
Citations
351
Authors
208
Institutions
Publications per year
2017–2026
39
Parents
Publications
171
1–5 of 171
Authors
351
- PB
10
h-index
- CA
7
h-index
- TB
6
h-index
- BT
6
h-index
- MM
5
h-index
1–5 of 351
Institutions
208
University of Amsterdam
Amsterdam, The Netherlands
10 h-index
13 publications
781 citations
Roskilde University
Roskilde, Denmark
8 h-index
9 publications
196 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
8 h-index
10 publications
511 citations
Centre Inria de l'Université de Lorraine
Villers-lès-Nancy, France
6 h-index
6 publications
373 citations
Saarland University
Saarbrücken, Germany
6 h-index
10 publications
769 citations
Centre National de la Recherche Scientifique
Paris, France
5 h-index
9 publications
241 citations
Carnegie Mellon University
Pittsburgh, United States
4 h-index
5 publications
108 citations
Imperial College London
London, United Kingdom
4 h-index
4 publications
1.1K citations
1–8 of 208
Venues
- Journal of Logic and Computation
13 publications · 461 citations
12
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 12 publications · 263 citations
12
h-index
- Journal of Logic Language and Information
7 publications · 128 citations
7
h-index
- Logic Journal of IGPL
4 publications · 554 citations
4
h-index
- Synthese
4 publications · 124 citations
4
h-index
1–5