Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Carron Kirkwood
Towards a Symbolic Modal Logic for LOTOS
Related publications
A Characterization Theorem for a Modal Description Logic
A Modal Logic for Reasoning About Economic Policies
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Modal Logic for Role-Based Access Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Neutrosophic Modal Logic
A Finite Model Construction for Coalgebraic Modal Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Temporal Logic for Reasoning About Change
Introduction to Symbolic Logic
Journal of the Franklin Institute
Control
Systems Engineering
Signal Processing
Computer Networks
Applied Mathematics
Communications
Meeting of the Association for Symbolic Logic
Journal of Symbolic Logic
Philosophy
Logic
Modal Logic With Descriptions
Philosophical Studies
