A hybrid treatment of evolutionary sets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2313, Issue , 2002, Pages 204-213

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Hybrid logic; Modal logic; Reasoning about knowledge; Temporal reasoning; Topological reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; TOPOLOGY;

HYBRID LOGIC; MODAL LOGIC; REASONING ABOUT KNOWLEDGE; TEMPORAL REASONING; TOPOLOGICAL REASONING;

COMPUTER CIRCUITS;

EID: 84942926382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46016-0_22     Document Type: Conference Paper

References (15)

1. Carlos Areces, Patrick Blackburn, and Maarten Marx. A Road-Map on Complexity for Hybrid Logics. In J. Flum and M. Rodríguez-Artalejo, editors, Computer Science Logic, CSL’99, volume 1683 of Lecture Notes in Computer Science, pages 307–321, Berlin, 1999. Springer.
2. Patrick Blackburn. Internalizing Labelled Deduction. Journal of Logic and Computation, 10:137–168, 2000.
3. Patrick Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, 8:339–365, 2000.
4. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Track in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001.
5. Patrick Blackburn and Miroslava Tzakova. Hybrid Languages and Temporal Logic. Logic Journal of the IGPL, 7(1):27–54, 1999.
6. Nicolas Bourbaki. General Topology, Part 1. Hermann, Paris, 1966.
7. Andrew Dabrowski, Lawrence S. Moss, and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic, 78:73–110, 1996.
8. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
9. Konstantinos Georgatos. Knowledge on Treelike Spaces. Studia Logica, 59:271–301, 1997.
10. Bernhard Heinemann. About the Temporal Decrease of Sets. In C. Bettini and A. Montanari, editors, Temporal Representation and Reasoning, 8th International Workshop, TIME-01, pages 234–239, Los Alamitos, CA, 2001. IEEE Computer Society Press.
11. Bernhard Heinemann. Hybrid Languages for Subset Spaces. Informatik Berichte 290, FernUniversit¨at, Hagen, October 2001.
12. Bernhard Heinemann. Linear Tense Logics of Increasing Sets. Journal of Logic and Computation, 12, 2002. To appear.
13. Maarten Marx and Yde Venema. Multi-Dimensional Modal Logic, volume 4 of Applied Logic Series. Kluwer Academic Publishers, Dordrecht, 1997.
14. Klaus Weihrauch. Computable Analysis. Springer, Berlin, 2000.
15. M. AngelaWeiss. Completeness of Certain Bimodal Logics for Subset Spaces. Ph.D. thesis, The City University of New York, New York, 1999.