Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames

Saved in:
Bibliographic Details
Published inJournal of logic and computation
Format Journal Article
LanguageEnglish
Published 08.03.2025
Online AccessGet full text
ISSN0955-792X
1465-363X
DOI10.1093/logcom/exad078

Cover

BookMark eNotkD1PwzAURT2UoRRWZv-BEDtxEnusKr5EJRaQ2KKX-LlYJHbkOED_PWmb6UpX99zhXJOV8w4JuePsnjOVp50_tL5P8Q80q-SKrJkqiqRS2eeauG138MHGr962dAh-wBAtjtQb2nsNHQWn6TjNtXVxstF6Z8c4b-dT2y47B_pM4xwQT_QPBmqssxHpa7DDN1IToMfxhlwZ6Ea8XXJDPh4f3nfPyf7t6WW33SdtJnlMhDFcyIYpXbEmVxkwibKBokSRC85aqYUpC1MKjVwYJUFmzMiqEkYrLCqeb0h6-Z3cAMdf6Lp6CLaHcKw5q09W6ouVerGS_wM0ZmEB
CitedBy_id crossref_primary_10_1007_s11225_023_10093_y
ContentType Journal Article
DBID ADTOC
UNPAY
DOI 10.1093/logcom/exad078
DatabaseName Unpaywall for CDI: Periodical Content
Unpaywall
Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
ExternalDocumentID 10.1093/logcom/exad078
GroupedDBID --Z
-E4
.2P
.4S
.DC
.I3
0R~
1TH
29K
4.4
482
48X
5GY
5VS
5WA
6OB
70D
AAIJN
AAJKP
AAJQQ
AAMVS
AAOGV
AAPQZ
AAPXW
AARHZ
AAUAY
AAUQX
AAVAP
AAWDT
ABAZT
ABDFA
ABDTM
ABEJV
ABEUO
ABGNP
ABIME
ABIXL
ABJNI
ABNGD
ABNKS
ABPIB
ABPQP
ABPTD
ABQLI
ABSMQ
ABVGC
ABVLG
ABWST
ABXVV
ABZBJ
ABZEO
ACFRR
ACGFS
ACGOD
ACIWK
ACPQN
ACUFI
ACUKT
ACUTJ
ACUXJ
ACVCV
ACYTK
ACZBC
ADEYI
ADEZT
ADGZP
ADHKW
ADHZD
ADIPN
ADNBA
ADOCK
ADQBN
ADRDM
ADRTK
ADTOC
ADVEK
ADYJX
ADYVW
ADZXQ
AECKG
AEGPL
AEHUL
AEJOX
AEKKA
AEKPW
AEKSI
AEMDU
AENEX
AENZO
AEPUE
AETBJ
AEWNT
AFFZL
AFIYH
AFOFC
AFSHK
AFYAG
AGINJ
AGKEF
AGKRT
AGMDO
AGORE
AGQPQ
AGQXC
AGSYK
AHGBF
AHXPO
AIJHB
AJBYB
AJDVS
AJEEA
AJEUX
AJNCP
ALMA_UNASSIGNED_HOLDINGS
ALTZX
ALUQC
ALXQX
AMVHM
ANAKG
ANFBD
APIBT
APJGH
APWMN
AQDSO
ARCSS
ASAOO
ASPBG
ATDFG
ATGXG
ATTQO
AVWKF
AXUDD
AZFZN
AZVOD
BAYMD
BCRHZ
BEFXN
BEYMZ
BFFAM
BGNUA
BHONS
BKEBE
BPEOZ
BQUQU
BTQHN
CAG
CDBKE
COF
CS3
CXTWN
CZ4
D-I
DAKXR
DFGAJ
DILTD
D~K
EBS
EDO
EE~
EJD
ELUNK
F9B
FEDTE
FLIZI
FLUFQ
FOEOM
FQBLK
GAUVT
GJXCC
H13
H5~
HAR
HVGLF
HW0
HZ~
I-F
IOX
J21
JAVBF
JXSIZ
KAQDR
KBUDW
KOP
KSI
KSN
M-Z
MBTAY
MK~
N9A
NGC
NMDNZ
NOMLY
NU-
NVLIB
O0~
O9-
OCL
ODMLO
OJQWA
OJZSN
OWPYF
O~Y
P2P
PAFKI
PB-
PEELM
PQQKQ
Q1.
Q5Y
QBD
R44
RD5
RNI
ROL
ROX
ROZ
RUSNO
RW1
RXO
RZF
RZO
TCN
TJP
TN5
TUS
UNPAY
X7H
YAYTL
YKOAZ
YXANX
ZKX
~91
ID FETCH-LOGICAL-c281t-4ff148b09d70b392a08e8ba56e43410c8d4f65f64de14f98a820f8774fd9e5713
IEDL.DBID UNPAY
ISSN 0955-792X
1465-363X
IngestDate Tue Aug 19 16:33:57 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Language English
License cc-by
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c281t-4ff148b09d70b392a08e8ba56e43410c8d4f65f64de14f98a820f8774fd9e5713
OpenAccessLink https://proxy.k.utb.cz/login?url=https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exad078/55868553/exad078.pdf
ParticipantIDs unpaywall_primary_10_1093_logcom_exad078
PublicationCentury 2000
PublicationDate 2025-03-08
PublicationDateYYYYMMDD 2025-03-08
PublicationDate_xml – month: 03
  year: 2025
  text: 2025-03-08
  day: 08
PublicationDecade 2020
PublicationTitle Journal of logic and computation
PublicationYear 2025
Score 2.400126
SourceID unpaywall
SourceType Open Access Repository
Title Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
URI https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exad078/55868553/exad078.pdf
UnpaywallVersion publishedVersion
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwED5BGYCBN-ItDwwsKYljp85YIRBCAjFQqUyVY_sAUdKopOIx88M5NwkgJhamSNHZcuz47rPv82eAw6jjIpNw5WkVJhDGxTTnLAaa68h2uOQi8_uQl1fJeU9c9GV_BkxzFkbXrPB2c6SBPIB_1Bnxhi4WFBa_xQfSuDFzr9pS0DuWUiVKyrh50Sb7WZhLJAH2Fsz1rq67t5UKnxds5P3qDJIM4iTuf0k7_q51EeYneaHfXvRw-CMInS3DR9P8invy2J6UWdu8_1J2_OfvW4GlGsSyblXLKsy4fA2WmwsiWO0v1iHvDu9G44fynprCCr_tP_b6rWyE7GlkqQadW_Y88WLLFPqm5LGpbjSbOuTazpPSfOlpRqn0pWn2MXzwYJmRjyoeHUNPMXvegN7Z6c3JeVBf8BAYrqIyEIi0GsvC1HbCjICaDpVTmZaJExRcQ6OswERiIqyLBKZKE1xBRYAVbeokLa83oZWPcrcFzKUpohboODeCYKWOQww59XUHdWSE3oajr7EbFJWQx6BKwMeDqnMHdV_u_N10Fxa4vw_Yc9LUHrTK8cTtE0gps4P6J_sE3Mrsfw
linkProvider Unpaywall
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV07T8MwED5BGYCBN-ItDwwsKYljp85YIRBCAjFQqUyVY_sAUdKopOIx88M5NwkgJhamSNHZcuz47rPv82eAw6jjIpNw5WkVJhDGxTTnLAaa68h2uOQi8_uQl1fJeU9c9GV_BkxzFkbXrPB2c6SBPIB_1Bnxhi4WFBa_xQfSuDFzr9pS0DuWUiVKyrh50Sb7WZhLJAH2Fsz1rq67t5UKnxds5P3qDJIM4iTuf0k7_q51EeYneaHfXvRw-CMInS3DR9P8invy2J6UWdu8_1J2_OfvW4GlGsSyblXLKsy4fA2WmwsiWO0v1iHvDu9G44fynprCCr_tP_b6rWyE7GlkqQadW_Y88WLLFPqm5LGpbjSbOuTazpPSfOlpRqn0pWn2MXzwYJmRjyoeHUNPMXvegN7Z6c3JeVBf8BAYrqIyEIi0GsvC1HbCjICaDpVTmZaJExRcQ6OswERiIqyLBKZKE1xBRYAVbeokLa83oZWPcrcFzKUpohboODeCYKWOQww59XUHdWSE3oajr7EbFJWQx6BKwMeDqnMHdV_u_N10Fxa4vw_Yc9LUHrTK8cTtE0gps4P6J_sE3Mrsfw
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=Algorithmic+properties+of+modal+and+superintuitionistic+logics+of+monadic+predicates+over+finite+Kripke+frames&rft.jtitle=Journal+of+logic+and+computation&rft.date=2025-03-08&rft.issn=0955-792X&rft_id=info:doi/10.1093%2Flogcom%2Fexad078&rft.externalDocID=10.1093%2Flogcom%2Fexad078
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0955-792X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0955-792X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0955-792X&client=summon