An exercise on the generation of many-valued dynamic logics

Saved in:
Bibliographic Details
Published inJournal of logical and algebraic methods in programming Vol. 85; no. 5; pp. 1011 - 1037
Main Authors Madeira, Alexandre, Neves, Renato, Martins, Manuel A.
Format Journal Article
LanguageEnglish
Published 01.08.2016
Online AccessGet full text
ISSN2352-2208
DOI10.1016/j.jlamp.2016.03.004

Cover

Author Martins, Manuel A.
Neves, Renato
Madeira, Alexandre
Author_xml – sequence: 1
  givenname: Alexandre
  orcidid: 0000-0002-0646-2017
  surname: Madeira
  fullname: Madeira, Alexandre
– sequence: 2
  givenname: Renato
  surname: Neves
  fullname: Neves, Renato
– sequence: 3
  givenname: Manuel A.
  surname: Martins
  fullname: Martins, Manuel A.
BookMark eNp9j71OwzAUhT0UiVL6BCx-gYRrO41tMVUVf1IlFpgt1z_FUeJUdkD07XELEwPT1dHRd3S_KzSLY3QI3RCoCZD2tqu7Xg-HmpZQA6sBmhmaU7aiFaUgLtEy5w6gtIILRubobh2x-3LJhOzwGPH07vDeRZf0FEocPR50PFafuv9wFttj1EMwuB_3weRrdOF1n93y9y7Q28P96-ap2r48Pm_W28owClMlgfqWCsl3hksiyAo8Y0KTBrjdybbRlHvLjLaMG-O54aWGVlBHdWOldWyB5M-uSWPOyXllwnT-b0o69IqAOsmrTp3l1UleAVNFvrDsD3tIYdDp-C_1DRf1Y2Y
CitedBy_id crossref_primary_10_1016_j_ijar_2020_06_003
crossref_primary_10_1016_j_scico_2019_01_007
crossref_primary_10_1093_jigpal_jzz017
crossref_primary_10_1016_j_entcs_2020_02_006
crossref_primary_10_1016_j_jlamp_2021_100732
crossref_primary_10_1093_logcom_exad044
crossref_primary_10_4204_EPTCS_358_20
crossref_primary_10_1016_j_entcs_2018_10_004
crossref_primary_10_1016_j_entcs_2019_07_009
Cites_doi 10.1063/1.4912930
10.1093/logcom/exp062
10.1145/256167.256195
10.1093/jigpal/8.3.339
10.1016/j.jlap.2014.02.013
10.1016/j.tcs.2007.02.055
10.1006/inco.1994.1037
10.3233/FI-1991-153-404
10.1093/jigpal/jzu010
10.1007/s000120050156
10.2168/LMCS-8(4:17)2012
10.1016/0022-0000(85)90012-1
10.1016/0304-3975(81)90019-0
10.1023/A:1027354826364
10.1007/s10958-005-0281-1
10.1007/s10849-005-9008-4
10.1016/0004-3702(86)90031-7
10.1142/S0129054113400145
10.3233/FI-1992-171-205
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1016/j.jlamp.2016.03.004
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EndPage 1037
ExternalDocumentID 10_1016_j_jlamp_2016_03_004
GroupedDBID --M
0R~
4.4
457
4G.
7-5
8P~
AAEDT
AAEDW
AAIKJ
AAKOC
AALRI
AAOAW
AATTM
AAXKI
AAXUO
AAYFN
AAYWO
AAYXX
ABBOA
ABJNI
ABMAC
ABXDB
ACDAQ
ACGFS
ACRLP
ACVFH
ADBBV
ADCNI
ADEZE
ADVLN
AEBSH
AEIPS
AEKER
AENEX
AEUPX
AFJKZ
AFPUW
AFTJW
AFXIZ
AGCQF
AGHFR
AGRNS
AGUBO
AIALX
AIEXJ
AIGII
AIIUN
AIKHN
AITUG
AKBMS
AKRWK
AKYEP
ALMA_UNASSIGNED_HOLDINGS
AMRAJ
ANKPU
AOUOD
AXJTR
BKOJK
BLXMC
BNPGV
CITATION
EBS
EFJIC
EJD
FDB
FIRID
FYGXN
GBLVA
GBOLZ
HZ~
KOM
M41
O9-
OAUVE
RIG
ROL
SPC
SPCBC
SSH
SSV
SSZ
T5K
~G-
ID FETCH-LOGICAL-c320t-902f62897bc7918150f338a1407db964a27fd3cad37ccf7c7f330682e2a4d9de3
ISSN 2352-2208
IngestDate Thu Apr 24 23:06:16 EDT 2025
Tue Jul 01 00:37:50 EDT 2025
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 5
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c320t-902f62897bc7918150f338a1407db964a27fd3cad37ccf7c7f330682e2a4d9de3
ORCID 0000-0002-0646-2017
OpenAccessLink http://hdl.handle.net/10773/16705
PageCount 27
ParticipantIDs crossref_citationtrail_10_1016_j_jlamp_2016_03_004
crossref_primary_10_1016_j_jlamp_2016_03_004
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2016-08-00
PublicationDateYYYYMMDD 2016-08-01
PublicationDate_xml – month: 08
  year: 2016
  text: 2016-08-00
PublicationDecade 2010
PublicationTitle Journal of logical and algebraic methods in programming
PublicationYear 2016
References Gottwald (10.1016/j.jlamp.2016.03.004_br0160) 2001; vol. 9
Diaconescu (10.1016/j.jlamp.2016.03.004_br0090) 2014
Kozen (10.1016/j.jlamp.2016.03.004_br0220) 1991
Segerberg (10.1016/j.jlamp.2016.03.004_br0420) 1977; 24
Cignoli (10.1016/j.jlamp.2016.03.004_br0070) 1999
Liau (10.1016/j.jlamp.2016.03.004_br0260) 1999; vol. 1711
Kozen (10.1016/j.jlamp.2016.03.004_br0230) 1994; 110
Platzer (10.1016/j.jlamp.2016.03.004_br0390) 2010
Galatos (10.1016/j.jlamp.2016.03.004_br0140) 2007
Oliveira (10.1016/j.jlamp.2016.03.004_br0370) 2014; 83
Conway (10.1016/j.jlamp.2016.03.004_br0080) 1971
Nilsson (10.1016/j.jlamp.2016.03.004_br0340) 1986; 28
Barbosa (10.1016/j.jlamp.2016.03.004_br0010) 2008; vol. 5140
Platzer (10.1016/j.jlamp.2016.03.004_br0400) 2012; 8
Kozen (10.1016/j.jlamp.2016.03.004_br0210) 1985; 30
Fitting (10.1016/j.jlamp.2016.03.004_br0110) 1991; 15
Madeira (10.1016/j.jlamp.2016.03.004_br0290) 2015; 1648
Pratt (10.1016/j.jlamp.2016.03.004_br0410) 1990; vol. 478
Fitting (10.1016/j.jlamp.2016.03.004_br0120) 1992; 17
Harel (10.1016/j.jlamp.2016.03.004_br0170) 1984
Jipsen (10.1016/j.jlamp.2016.03.004_br0200) 2002; vol. 7
Martins (10.1016/j.jlamp.2016.03.004_br0310) 2011; vol. 6859
Droste (10.1016/j.jlamp.2016.03.004_br0100) 2007; 380
Bou (10.1016/j.jlamp.2016.03.004_br0050) 2009
Blok (10.1016/j.jlamp.2016.03.004_br0040) 2000; 43
Kozen (10.1016/j.jlamp.2016.03.004_br0240) 1997; 19
Blackburn (10.1016/j.jlamp.2016.03.004_br0030) 2000; 8
Oliveira (10.1016/j.jlamp.2016.03.004_br0350) 2009; vol. 5520
Kozen (10.1016/j.jlamp.2016.03.004_br0250) 1981; 14
Pauly (10.1016/j.jlamp.2016.03.004_br0380) 2003; 75
Mironov (10.1016/j.jlamp.2016.03.004_br0320) 2005; 128
Furusawa (10.1016/j.jlamp.2016.03.004_br0130) 2003; vol. 3051
Oliveira (10.1016/j.jlamp.2016.03.004_br0360) 2013; 24
Bou (10.1016/j.jlamp.2016.03.004_br0060) 2011; 21
Madeira (10.1016/j.jlamp.2016.03.004_br0280) 2013
Mürk (10.1016/j.jlamp.2016.03.004_br0330) 2007; vol. 4603
Madeira (10.1016/j.jlamp.2016.03.004_br0300) 2015; vol. 8941
Lopes (10.1016/j.jlamp.2016.03.004_br0270) 2014; 22
Beckert (10.1016/j.jlamp.2016.03.004_br0020) 2000; vol. 2041
Hughes (10.1016/j.jlamp.2016.03.004_br0190) 2006; 15
Harel (10.1016/j.jlamp.2016.03.004_br0180) 2000
References_xml – volume: 24
  start-page: 31
  issue: 6
  year: 1977
  ident: 10.1016/j.jlamp.2016.03.004_br0420
  article-title: A completeness theorem in the modal logic of programs
  publication-title: Not. Am. Math. Soc.
– year: 1971
  ident: 10.1016/j.jlamp.2016.03.004_br0080
– year: 2007
  ident: 10.1016/j.jlamp.2016.03.004_br0140
– volume: vol. 9
  year: 2001
  ident: 10.1016/j.jlamp.2016.03.004_br0160
  article-title: A Treatise on Many-Valued Logics
– volume: 1648
  issue: 1
  year: 2015
  ident: 10.1016/j.jlamp.2016.03.004_br0290
  article-title: A logic for robotics?
  publication-title: AIP Conf. Proc.
  doi: 10.1063/1.4912930
– volume: vol. 1711
  start-page: 294
  year: 1999
  ident: 10.1016/j.jlamp.2016.03.004_br0260
  article-title: Many-valued dynamic logic for qualitative decision theory
– volume: 21
  start-page: 739
  issue: 5
  year: 2011
  ident: 10.1016/j.jlamp.2016.03.004_br0060
  article-title: On the minimum many-valued modal logic over a finite residuated lattice
  publication-title: J. Log. Comput.
  doi: 10.1093/logcom/exp062
– year: 1999
  ident: 10.1016/j.jlamp.2016.03.004_br0070
– volume: 19
  start-page: 427
  issue: 3
  year: 1997
  ident: 10.1016/j.jlamp.2016.03.004_br0240
  article-title: Kleene algebra with tests
  publication-title: ACM Trans. Program. Lang. Syst.
  doi: 10.1145/256167.256195
– volume: 8
  start-page: 339
  issue: 3
  year: 2000
  ident: 10.1016/j.jlamp.2016.03.004_br0030
  article-title: Representation, reasoning, and relational structures: a hybrid logic manifesto
  publication-title: Log. J. IGPL
  doi: 10.1093/jigpal/8.3.339
– volume: 83
  start-page: 249
  issue: 2
  year: 2014
  ident: 10.1016/j.jlamp.2016.03.004_br0370
  article-title: A relation-algebraic approach to the “hoare logic” of functional dependencies
  publication-title: J. Log. Algebr. Meth. Program.
  doi: 10.1016/j.jlap.2014.02.013
– volume: vol. 6859
  start-page: 283
  year: 2011
  ident: 10.1016/j.jlamp.2016.03.004_br0310
  article-title: Hybridization of institutions
– volume: 380
  start-page: 69
  issue: 1–2
  year: 2007
  ident: 10.1016/j.jlamp.2016.03.004_br0100
  article-title: Weighted automata and weighted logics
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/j.tcs.2007.02.055
– volume: vol. 3051
  start-page: 124
  year: 2003
  ident: 10.1016/j.jlamp.2016.03.004_br0130
  article-title: The categories of Kleene algebras, action algebras and action lattices are related by adjunctions
– year: 2000
  ident: 10.1016/j.jlamp.2016.03.004_br0180
– volume: 110
  start-page: 366
  issue: 2
  year: 1994
  ident: 10.1016/j.jlamp.2016.03.004_br0230
  article-title: A completeness theorem for Kleene algebras and the algebra of regular events
  publication-title: Inf. Comput.
  doi: 10.1006/inco.1994.1037
– volume: vol. 4603
  start-page: 385
  year: 2007
  ident: 10.1016/j.jlamp.2016.03.004_br0330
  article-title: Key-c: a tool for verification of c programs
– year: 2013
  ident: 10.1016/j.jlamp.2016.03.004_br0280
– volume: 15
  start-page: 235
  issue: 3–4
  year: 1991
  ident: 10.1016/j.jlamp.2016.03.004_br0110
  article-title: Many-valued modal logics
  publication-title: Fundam. Inform.
  doi: 10.3233/FI-1991-153-404
– volume: 22
  start-page: 721
  issue: 5
  year: 2014
  ident: 10.1016/j.jlamp.2016.03.004_br0270
  article-title: Propositional dynamic logic for Petri nets
  publication-title: Log. J. IGPL
  doi: 10.1093/jigpal/jzu010
– start-page: 1541
  year: 2009
  ident: 10.1016/j.jlamp.2016.03.004_br0050
  article-title: Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations
– volume: vol. 5140
  start-page: 83
  year: 2008
  ident: 10.1016/j.jlamp.2016.03.004_br0010
  article-title: Calculating invariants as coreflexive bisimulations
– volume: 43
  start-page: 233
  issue: 2–3
  year: 2000
  ident: 10.1016/j.jlamp.2016.03.004_br0040
  article-title: On the structure of hoops
  publication-title: Algebra Univers.
  doi: 10.1007/s000120050156
– volume: 8
  issue: 4
  year: 2012
  ident: 10.1016/j.jlamp.2016.03.004_br0400
  article-title: A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems
  publication-title: Log. Methods Comput. Sci.
  doi: 10.2168/LMCS-8(4:17)2012
– volume: 30
  start-page: 162
  issue: 2
  year: 1985
  ident: 10.1016/j.jlamp.2016.03.004_br0210
  article-title: A probabilistic PDL
  publication-title: J. Comput. Syst. Sci.
  doi: 10.1016/0022-0000(85)90012-1
– volume: vol. 5520
  start-page: 195
  year: 2009
  ident: 10.1016/j.jlamp.2016.03.004_br0350
  article-title: Extended static checking by calculation using the pointfree transform
– volume: 14
  start-page: 113
  year: 1981
  ident: 10.1016/j.jlamp.2016.03.004_br0250
  article-title: An Elementary Proof of the Completness of PDL
  publication-title: Theor. Comput. Sci.
  doi: 10.1016/0304-3975(81)90019-0
– volume: vol. 478
  start-page: 97
  year: 1990
  ident: 10.1016/j.jlamp.2016.03.004_br0410
  article-title: Action logic and pure induction
– year: 1991
  ident: 10.1016/j.jlamp.2016.03.004_br0220
  article-title: On action algebras
– volume: vol. 2041
  start-page: 6
  year: 2000
  ident: 10.1016/j.jlamp.2016.03.004_br0020
  article-title: A dynamic logic for the formal verification of Java card programs
– volume: vol. 8941
  start-page: 130
  year: 2015
  ident: 10.1016/j.jlamp.2016.03.004_br0300
  article-title: A dynamic logic for every season
– volume: 75
  start-page: 165
  issue: 2
  year: 2003
  ident: 10.1016/j.jlamp.2016.03.004_br0380
  article-title: Game logic – an overview
  publication-title: Stud. Log.
  doi: 10.1023/A:1027354826364
– volume: vol. 7
  start-page: 19
  year: 2002
  ident: 10.1016/j.jlamp.2016.03.004_br0200
  article-title: A survey of residuated lattices
– start-page: 497
  year: 1984
  ident: 10.1016/j.jlamp.2016.03.004_br0170
  article-title: Dynamic logic
– volume: 128
  start-page: 3461
  issue: 6
  year: 2005
  ident: 10.1016/j.jlamp.2016.03.004_br0320
  article-title: Fuzzy modal logics
  publication-title: J. Math. Sci.
  doi: 10.1007/s10958-005-0281-1
– volume: 15
  start-page: 83
  issue: 1–2
  year: 2006
  ident: 10.1016/j.jlamp.2016.03.004_br0190
  article-title: Means-end relations and a measure of efficacy
  publication-title: J. Log. Lang. Inf.
  doi: 10.1007/s10849-005-9008-4
– year: 2010
  ident: 10.1016/j.jlamp.2016.03.004_br0390
– start-page: 1
  year: 2014
  ident: 10.1016/j.jlamp.2016.03.004_br0090
  article-title: Encoding hybridized institutions into first-order logic
  publication-title: Math. Struct. Comput. Sci. FirstView
– volume: 28
  start-page: 71
  issue: 1
  year: 1986
  ident: 10.1016/j.jlamp.2016.03.004_br0340
  article-title: Probabilistic logic
  publication-title: Artif. Intell.
  doi: 10.1016/0004-3702(86)90031-7
– volume: 24
  start-page: 709
  issue: 6
  year: 2013
  ident: 10.1016/j.jlamp.2016.03.004_br0360
  article-title: Weighted automata as coalgebras in categories of matrices
  publication-title: Int. J. Found. Comput. Sci.
  doi: 10.1142/S0129054113400145
– volume: 17
  start-page: 55
  issue: 1–2
  year: 1992
  ident: 10.1016/j.jlamp.2016.03.004_br0120
  article-title: Many-valued model logics II
  publication-title: Fundam. Inform.
  doi: 10.3233/FI-1992-171-205
SSID ssj0001687831
Score 2.1207085
SourceID crossref
SourceType Enrichment Source
Index Database
StartPage 1011
Title An exercise on the generation of many-valued dynamic logics
Volume 85
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT9wwELYQXLgUKK2gPORDb9SrxE7sWJxWCLRt1T0gkLhFjmNXrCBbbZce-PWMYyexeKlwiVbZ2NrNfJ4Zj2fmQ-iryq2U2mZE1oYSsBCSVIJVRDgA1LkwtuVP-TXlk8vsx1V-FZ2YuuqSZTXS98_WlbxHqnAP5OqqZN8g2X5SuAGfQb5wBQnD9b9kPG56yqQQ9HeMyGbRu4G3sNSJ6-cNbmXtueePWmX39wWntNOEbQvXm9_uVBmGeJppn3Hu87luO4vXBrNrc71QUbnMkFA7Nf-8Hjo3DWzvhyGueYEPdKvmzgBMRnH8IeV99ltQUxRcOEJpUsQ61dPwBOzkkYIEDZBGxtZVKT6ryH1MYTaawbpwbUVT7nvRZoPd6s7qH5mzPsmwy1-ble0kpZukTFjZto9do7CtAEW-Nv7-czIdonK8EEVLYtn_ra5VVZsU-OTnRO5M5JdcbKIPQXZ47NGxhVZM8xFtdGQdOOjubXQ8bnAHFjxvMIAFD2DBc4sjsOAAFuzB8gldnp1enExIYM4gmtFkSWRCLYettKi0kODD5YllrFCwmRZ1JXmmqLA106pmQmsrtICvE15QQ1VWw6pln9FqM2_MDsJU2qRKLS9SoTPGpOJKZMoRQeZMSJvvItq9gFKHtvKO3eSmfOX976Jv_aA_vqvKa49_edvje2h9AOo-Wl0u7swBuI7L6jDI-wHyP25_
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+exercise+on+the+generation+of+many-valued+dynamic+logics&rft.jtitle=Journal+of+logical+and+algebraic+methods+in+programming&rft.au=Madeira%2C+Alexandre&rft.au=Neves%2C+Renato&rft.au=Martins%2C+Manuel+A.&rft.date=2016-08-01&rft.issn=2352-2208&rft.volume=85&rft.issue=5&rft.spage=1011&rft.epage=1037&rft_id=info:doi/10.1016%2Fj.jlamp.2016.03.004&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_jlamp_2016_03_004
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2352-2208&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2352-2208&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2352-2208&client=summon