Volume 46; Issue 4

Notre Dame Journal of Formal Logic

Volume 46; Issue 4
1

Automorphisms of Homogeneous Structures

Ivanov, A.
Journal:
Notre Dame Journal of Formal Logic
Year:
2005
Language:
english
File:
PDF, 166 KB
english, 2005
2

Relational Semantics for Kleene Logic and Action Logic

Bimbó, Katalin, Dunn, J.~Michael
Journal:
Notre Dame Journal of Formal Logic
Year:
2005
Language:
english
File:
PDF, 415 KB
english, 2005
3

Finite and Physical Modalities

Gattari, Mauro
Journal:
Notre Dame Journal of Formal Logic
Year:
2005
Language:
english
File:
PDF, 234 KB
english, 2005
4

On Lovely Pairs and the (∃ y ∈ P ) Quantifier

Pillay, Anand, Vassiliev, Evgueni
Journal:
Notre Dame Journal of Formal Logic
Year:
2005
Language:
english
File:
PDF, 210 KB
english, 2005
6

First-Order Modal Logic with an 'Actually' Operator

Stephanou, Yannis
Journal:
Notre Dame Journal of Formal Logic
Year:
2005
Language:
english
File:
PDF, 278 KB
english, 2005