Notions of Bisimulation for Heyting-Valued Modal Languages

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

ELEFTHERIOU, Pantelis E., Costas D. KOUTRAS, Christos NOMIKOS, 2012. Notions of Bisimulation for Heyting-Valued Modal Languages. In: Journal of Logic and Computation. Oxford University Press. 22(2), pp. 213-235. ISSN 0955-792X. eISSN 1465-363X. Available under: doi: 10.1093/logcom/exq005

@article{Eleftheriou2012-04-01Notio-49536, title={Notions of Bisimulation for Heyting-Valued Modal Languages}, year={2012}, doi={10.1093/logcom/exq005}, number={2}, volume={22}, issn={0955-792X}, journal={Journal of Logic and Computation}, pages={213--235}, author={Eleftheriou, Pantelis E. and Koutras, Costas D. and Nomikos, Christos} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dcterms:available rdf:datatype="">2020-05-15T16:37:09Z</dcterms:available> <dc:creator>Eleftheriou, Pantelis E.</dc:creator> <dc:creator>Nomikos, Christos</dc:creator> <dcterms:title>Notions of Bisimulation for Heyting-Valued Modal Languages</dcterms:title> <dc:date rdf:datatype="">2020-05-15T16:37:09Z</dc:date> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:rights rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Eleftheriou, Pantelis E.</dc:contributor> <dc:contributor>Koutras, Costas D.</dc:contributor> <dcterms:abstract xml:lang="eng">We examine the notion of bisimulation and its ramifications, in the context of the family of Heyting-valued modal languagesintroduced by M. Fitting. Each modal language in this family is built on an underlying space of truth values, a HeytingalgebraH. All the truth values are directly represented in the language, which is interpreted on relational frames with an H-valued accessibility relation. We define two notions of bisimulation that allow us to obtain truth invariance results. Weprovide game semantics and, for the more interesting and complicated notion, we are able to provide characteristic formulaeand prove a Hennessy–Milner-type theorem. If the underlying algebraHis finite, Heyting-valued modal models can beequivalently reformulated to a form relevant to epistemic situations with many interrelated experts. Our definitions and resultsdraw inspiration from this formulation, which is of independent interest to Knowledge Representation applications.</dcterms:abstract> <dc:language>eng</dc:language> <dspace:isPartOfCollection rdf:resource=""/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Nomikos, Christos</dc:contributor> <dcterms:issued>2012-04-01</dcterms:issued> <bibo:uri rdf:resource=""/> <dc:creator>Koutras, Costas D.</dc:creator> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


My Account