Result 1 to 16 from 16 total
A sound and complete axiomatization for dynamic topological logic. (English)
J. Symb. Log. 77, No. 3, 947-969 (2012).
1
A modal framework for modelling abductive reasoning. (English)
Log. J. IGPL 20, No. 2, 438-444 (2012).
2
Tableaux for structural abduction. (English)
Log. J. IGPL 20, No. 2, 388-399 (2012).
3
Turing progressions and their well-orders. (English)
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18‒23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 212-221 (2012).
4
Dynamic topological logic of metric spaces. (English)
J. Symb. Log. 77, No. 1, 308-328 (2012).
5
Tangled modal logic for topological dynamics. (English)
Ann. Pure Appl. Logic 163, No. 4, 467-481 (2012).
6
Dynamic topological logic interpreted over minimal systems. (English)
J. Philos. Log. 40, No. 6, 767-804 (2011).
7
On the modal definability of simulability by finite transitive models. (English)
Stud. Log. 98, No. 3, 347-373 (2011).
8
On the definability of simulability and bisimilarity by finite epistemic models. (English)
Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 74-87 (2011).
9
On the definability of simulability and bisimilarity by finite epistemic models (English)
CLIMA, 74-87 (2011).
10
Tangled modal logic for spatial reasoning (English)
IJCAI, 857-862 (2011).
11
Secure communication of local states in interpreted systems (English)
DCAI, 117-124 (2011).
12
Absolute completeness of $\mathsf {S4}_u$ for its measure-theoretic semantics. (English)
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24‒27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 100-119 (2010).
13
Absolute completeness of $S4_{u}$ for its measure-theoretic semantics (English)
Advances in Modal Logic, 100-119 (2010).
14
Dynamic topological completeness for $\Bbb R^2$. (English)
Log. J. IGPL 15, No. 1, 77-107 (2007).
15
Attention metaphors: How metaphors guide the cognitive psychology of attention. (English)
Cogn. Sci. 23, No. 1, 83-116 (1999).
16
Result 1 to 16 from 16 total
Start
Contact
Print
General Help
