Modular Construction of Modal Logics
Modular Construction of Modal Logics
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, completeness and expressiveness properties from their building blocks. We apply these techniques to derive sound, complete and expressive logics for a wide variety of probabilistic systems.
modal logic, coalgebra, bisimulation
3-540-22940-X
258-275
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Pattinson, Dirk
b6607852-21d6-492c-a334-475ad5a7e7b4
Gardner, Philippa
0cee76fd-a66a-429d-a535-306da9d124f7
Yoshida, Nobuko
c061d44e-4a00-4933-90aa-6669e7d590c7
2004
Cirstea, Corina
ce5b1cf1-5329-444f-9a76-0abcc47a54ea
Pattinson, Dirk
b6607852-21d6-492c-a334-475ad5a7e7b4
Gardner, Philippa
0cee76fd-a66a-429d-a535-306da9d124f7
Yoshida, Nobuko
c061d44e-4a00-4933-90aa-6669e7d590c7
Cirstea, Corina and Pattinson, Dirk
(2004)
Modular Construction of Modal Logics.
Gardner, Philippa and Yoshida, Nobuko
(eds.)
Fifteenth International Conference on Concurrency Theory, London, United Kingdom.
31 Aug - 03 Sep 2004.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems. We show that the syntax, semantics and proof systems associated to such logics can all be derived in a modular way. Moreover, we show that the logics thus obtained inherit soundness, completeness and expressiveness properties from their building blocks. We apply these techniques to derive sound, complete and expressive logics for a wide variety of probabilistic systems.
Text
final-1c.pdf
- Other
More information
Published date: 2004
Additional Information:
Event Dates: 31 August - 3 September 2004
Venue - Dates:
Fifteenth International Conference on Concurrency Theory, London, United Kingdom, 2004-08-31 - 2004-09-03
Keywords:
modal logic, coalgebra, bisimulation
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 259927
URI: http://eprints.soton.ac.uk/id/eprint/259927
ISBN: 3-540-22940-X
PURE UUID: bdce86c0-4ccb-43f1-8014-47bf9c3fa005
Catalogue record
Date deposited: 13 Sep 2004
Last modified: 15 Mar 2024 03:18
Export record
Contributors
Author:
Corina Cirstea
Author:
Dirk Pattinson
Editor:
Philippa Gardner
Editor:
Nobuko Yoshida
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics