214:
97:(which sometimes use nominal-like constructs to denote specific points in time), and they are a rich source of ideas for researchers in modern modal logic. They also have applications in the areas of
98:
255:
148:
60:, which are true in exactly one state, and by the use of the @ operator, which is defined as follows:
49:
Unlike ordinary modal logic, hybrid logic makes it possible to refer to states (possible worlds) in
248:
190:
173:
P. Blackburn. 2000. Representation, reasoning and relational structures: a hybrid logic manifesto.
35:
279:
274:
8:
241:
20:
229:
114:
27:
110:
90:
Hybrid logics with extra or other operators exist, but @ is more-or-less standard.
199:
143:
194:
50:
225:
94:
268:
106:
102:
39:
31:
43:
23:
213:
117:
because the use of nominals allows one to perform assertional
221:
122:
118:
200:
72:
187:
121:
reasoning, as well as the more standard terminological
26:with more expressive power, though still less than
34:, there is a trade-off between expressiveness and
78:is true in the unique state named by the nominal
266:
93:Hybrid logics have many features in common with
56:This is achieved by a class of formulas called
141:
249:
113:. Hybrid logic is also closely connected to
256:
242:
38:. The history of hybrid logic began with
267:
208:
19:refers to a number of extensions to
149:Stanford Encyclopedia of Philosophy
13:
167:
14:
291:
181:
212:
135:
109:, and the logical analysis of
1:
128:
228:. You can help Knowledge by
7:
10:
296:
207:
36:computational tractability
175:Logic Journal of the IGPL
188:Hybrid Logics' Home Page
142:Torben Braüner (2008).
82:(i.e., the state where
224:-related article is a
193:2022-02-16 at the
237:
236:
115:description logic
28:first-order logic
287:
258:
251:
244:
216:
209:
161:
160:
158:
156:
139:
111:natural language
295:
294:
290:
289:
288:
286:
285:
284:
265:
264:
263:
262:
205:
195:Wayback Machine
184:
177:, 8(3):339-365.
170:
168:Further reading
165:
164:
154:
152:
140:
136:
131:
95:temporal logics
68:
12:
11:
5:
293:
283:
282:
277:
261:
260:
253:
246:
238:
235:
234:
217:
203:
202:
197:
183:
182:External links
180:
179:
178:
169:
166:
163:
162:
144:"Hybrid Logic"
133:
132:
130:
127:
88:
87:
73:if and only if
66:
9:
6:
4:
3:
2:
292:
281:
278:
276:
273:
272:
270:
259:
254:
252:
247:
245:
240:
239:
233:
231:
227:
223:
218:
215:
211:
210:
206:
201:
198:
196:
192:
189:
186:
185:
176:
172:
171:
151:
150:
145:
138:
134:
126:
124:
120:
116:
112:
108:
104:
100:
99:feature logic
96:
91:
85:
81:
77:
74:
70:
63:
62:
61:
59:
54:
52:
47:
45:
41:
37:
33:
29:
25:
22:
21:propositional
18:
230:expanding it
219:
204:
174:
153:. Retrieved
147:
137:
107:proof theory
103:model theory
92:
89:
83:
79:
75:
64:
57:
55:
48:
40:Arthur Prior
32:formal logic
17:Hybrid logic
16:
15:
280:Logic stubs
275:Modal logic
125:reasoning.
44:tense logic
42:'s work in
24:modal logic
269:Categories
155:1 February
129:References
86:is true).
191:Archived
71:is true
58:nominals
51:formulas
222:logic
220:This
30:. In
226:stub
157:2011
123:TBox
119:ABox
271::
146:.
105:,
101:,
53:.
46:.
257:e
250:t
243:v
232:.
159:.
84:i
80:i
76:p
69:p
67:i
65:@
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.