Axiomatising The Modal Logic of Affine Planes: Ian Hodkinson Joint Work With Altaf Hussain Thanks To Nick For Inviting Me
Axiomatising The Modal Logic of Affine Planes: Ian Hodkinson Joint Work With Altaf Hussain Thanks To Nick For Inviting Me
Axiomatising The Modal Logic of Affine Planes: Ian Hodkinson Joint Work With Altaf Hussain Thanks To Nick For Inviting Me
outline
definitions, examples
existing work (BruckRyser, Venema, BalbianiGoranko)
proof of non-finite axiomatisability
conclusion, problems
examples
v Jv
projective plane
b
v"J
b"
"
b J
"
b
"
v
v b
Jv
JJ
affine plane
v J
"b J
"
b
"
b
Jv
v
order
The order of a projective plane is (the number of points on a line) 1.
This is well-defined.
point formulas
::= p0 | | | [01]
line formulas
::= p1 | | | [10]
(Sahlqvist) axioms:
all propositional tautologies
normality of [01], [10]
[01] and [10] are mutually converse
h01i, h10i
transitivity of hi and hi, where hi = h01ih10i, hi = h10ih01i.
(In a projective plane, these are universal modalities for their sorts.)
point formulas
line formulas
::= p0 | | | [01]
::= p1 | | | [10] | [||]
Let 1 be a cardinal.
A -configuration is a frame C = (P, L, E, , ||) such that
C0. two lines are parallel iff they are equal or disjoint
C1. For all x, y P , there are at least lines l L with x, y
l.
C2. there is a unique line through any point parallel to any given line
C3. L 6= , and for any l L, there is a point not on l.
10
11
making the Cn
d2
k.
Possible since |{l S : x, y l}| 2d2
d2 2
2
Need to pick total of (2d) k sets l (plus their complements).
|L|/2 = c.
So far, |L|/2 4kd2 c. Just add more l S to L until |L|/2 = c.
d1
d
c.
Possible since |S| = 2d
d 2 so |S|/2 2
Check Ck = (P, L, , , ||) (where || is defined by C0) is as required.
12
13
limit
N0 t AAt
N1
N2
A
&
%
chain of networks Nk (k < |C |)
14
&
Nk
6fk
'
x
&
&
Nk
6fk
'
x
&
$
l?
16
v
C fk (x)
&
Nk
6fk
'
x
&
17
$
l?
&
Nk
v
fk (y)
v
fk (x)
6fk
'
x
&
18
fk+1 (l)?
$
l?
%
19
danger. . .
'
C
v
fk (x)
&
v fk (m)
fk (y)
C
%
6fk
$
'
PP
v PPvP
l?
Nk x
y P
m
&
escape
'
v
fk (x)
fk+1 (l)
v fk (m)
fk (y)
&
%
k fk+1
Q
Q
6fk
Q'
$
$
'
PP
PP
PPv l
v PPvP
v
P
Nk x
y P
y Pm Nk+1
x
m
&
% &
21
20
summary
22
IHHussain
hybrid projective
Z
}
Z
Z
(ess.) BalbianiGoranko
Z
Z
trivial Z
Z
Z
hybrid affine
6
trivial
modal affine
:
IHHussain
Z
Z
modal projective (NE XPTIME-complete)
23
some references
1. P. Balbiani and V. Goranko, Modal logics for parallelism,
orthogonality, and affine geometries., Journal of Applied
Non-Classical Logics 12 (2002), no. 3-4, 365398.
open questions
1. decidability, complexity of modal logic of affine planes (etc)?
2. find explicit axioms for modal logic of affine planes
3. what if we use hybrid logic?
4. what if we use strict (irreflexive) parallelism?
BalbianiGoranko (2002) axiomatised affine planes using
non-standard irreflexivity rules.
decidability and complexity open
24
25