Tableaux approach for contact logics interpreted over intervals

Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics interpreted over intervals (CLIOI) on the reals. For obtaining sound and complete tableaux-based decision procedures, the main technical tool is the...

Full description

Saved in:
Bibliographic Details
Published inReports on mathematical logic Vol. 58; no. 58; pp. 3 - 13
Main Author Özdemir, Zafer
Format Journal Article
LanguageEnglish
Published Kraków Wydawnictwo Uniwersytetu Jagiellońskiego 2023
Jagiellonian University Press
Jagiellonian University-Jagiellonian University Press
Subjects
Boolean
Economy
Intervals
Language
Semantics
Theorems
decision procedures
Contact logics interpreted over intervals
tableaux approach
Online AccessGet full text

Cover

Abstract Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics interpreted over intervals (CLIOI) on the reals. For obtaining sound and complete tableaux-based decision procedures, the main technical tool is the semantic tableaux approach. We use intensively the following concepts: tableaux methods, termination of tableaux methods, saturated tableaux, termination theorem, soundness theorem, truth lemma, and completeness theorem.
AbstractList Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics interpreted over intervals (CLIOI) on the reals. For obtaining sound and complete tableaux-based decision procedures, the main technical tool is the semantic tableaux approach. We use intensively the following concepts: tableaux methods, termination of tableaux methods, saturated tableaux, termination theorem, soundness theorem, truth lemma, and completeness theorem.
Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics interpreted over intervals (CLIOI) on the reals. For obtaining sound and complete tableaux-based decision procedures, the main technical tool is the semantic tableaux approach. We use intensively the following concepts: tableaux methods, termination of tableaux methods, saturated tableaux, termination theorem, soundness theorem, truth lemma, and completeness theorem.AMS subject classification: 03G05, 03B60, 03B70, 68T27
Author Özdemir, Zafer
Author_xml – sequence: 1
  fullname: Özdemir, Zafer
BookMark eNpFUFtLwzAUDjLBOfcTxILPrbk1aZ9EhjeYCDKfQ5Ke6EZtatIO_fdmbrDz8sH5LufwnaNJ5ztA6IrggnMhbyiuOC2r-u2loKzAmBSkqjA-QdMdk--oCZpiwmROa8zP0DzGDU5TCioom6LblTYt6PEn030fvLafmfMhs74btB2y1n-sbczW3QChDzBAk_kthP1iq9t4gU5dApgfcIbeH-5Xi6d8-fr4vLhb5pYSiXOh61JC6QwBZzgw3tjGNI4LjE3JpXEN05Iazgk1leEkPd80AojUIB2XNZuh631uevJ7hDiojR9Dl04qWlNaEiIrmVRyr7LBxxjAqT6sv3T4VQSrXWHqWJiiTKXC1H9hyXl5cAL49hhOKKm5FOwPCl5p0g
Cites_doi 10.3233/FI-2014-973
10.2168/LMCS-6(3:7)2010
10.1093/oso/9780198233978.001.0001
10.1007/3-540-48384-5_17
10.2307/2272270
10.1305/ndjfl/1093894722
10.3166/jancl.17.39-61
10.1017/CBO9781107050884
10.1016/j.tcs.2005.06.030
10.1007/978-0-387-69245-6_6
ContentType Journal Article
Copyright 2023. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2023. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID AE2
BIXPP
REL
AAYXX
CITATION
3V.
7SC
7XB
8AL
8FD
8FE
8FG
8FK
8G5
AABKS
ABJCF
ABSDQ
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
BYOGL
CCPQU
DWQXO
GNUQQ
GUQSH
H8D
HCIFZ
JQ2
K7-
L6V
L7M
L~C
L~D
M0N
M2O
M7S
MBDVC
P62
PADUT
PGAAH
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
Q9U
DOI 10.4467/20842589RM.23.001.18800
DatabaseName Central and Eastern European Online Library (C.E.E.O.L.) (DFG Nationallizenzen)
CEEOL: Open Access
Central and Eastern European Online Library - CEEOL Journals
CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Research Library
Philosophy Collection
Materials Science & Engineering Collection
Philosophy Database
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials - QC
ProQuest Central
Technology Collection
East Europe, Central Europe Database
ProQuest One Community College
ProQuest Central
ProQuest Central Student
ProQuest Research Library
Aerospace Database
ProQuest SciTech Premium Collection
ProQuest Computer Science Collection
ProQuest Computer Science Database (NC LIVE)
ProQuest Engineering Collection
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
ProQuest Research Library
Engineering Database
Research Library (Corporate)
ProQuest Advanced Technologies & Aerospace Collection
Research Library China
ProQuest One Religion & Philosophy
ProQuest Central Premium
ProQuest One Academic
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
ProQuest Central Basic
DatabaseTitle CrossRef
Research Library Prep
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
Research Library (Alumni Edition)
ProQuest Central China
ProQuest One Religion & Philosophy
Philosophy Collection
ProQuest Central
ProQuest One Applied & Life Sciences
Aerospace Database
ProQuest Engineering Collection
ProQuest Central Korea
ProQuest Research Library
ProQuest Central (New)
Research Library China
Advanced Technologies Database with Aerospace
Engineering Collection
Advanced Technologies & Aerospace Collection
ProQuest Computing
Engineering Database
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
East Europe, Central Europe Database
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
ProQuest One Academic UKI Edition
Materials Science & Engineering Collection
ProQuest One Academic
ProQuest One Academic (New)
ProQuest Central (Alumni)
Philosophy Database
DatabaseTitleList CrossRef
Research Library Prep
Database_xml – sequence: 1
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Mathematics
DocumentTitleAlternate Tableaux approach for contact logics interpreted over intervals
EISSN 2084-2589
EndPage 13
ExternalDocumentID 10_4467_20842589RM_23_001_18800
1219476
GroupedDBID 8FE
8FG
8G5
AABKS
AAFWJ
ABCQX
ABDBF
ABJCF
ABSDQ
ABUWG
ACHHZ
ACIWK
ACUHS
AE2
AENEX
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AMVHM
ARAPS
AZQEC
BENPR
BGLVJ
BIXPP
BPHCQ
BYOGL
CCPQU
DWQXO
EN8
EOJEC
GNUQQ
GUQSH
HCIFZ
K6V
K7-
L6V
L7B
M2O
M7S
OBODZ
OK1
P2P
PADUT
PHGZM
PHGZT
PQQKQ
PROAC
PTHSS
REL
TUS
Y2W
ZY4
AAYXX
CITATION
3V.
7SC
7XB
8AL
8FD
8FK
H8D
JQ2
L7M
L~C
L~D
M0N
MBDVC
P62
PGAAH
PKEHL
PQEST
PQGLB
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c2170-6a957e5fb1efb4e34dcdbdf4600b547bfd3a72b4412b8b41084dd6e17ae7f4793
IEDL.DBID BENPR
ISSN 0137-2904
IngestDate Wed Aug 13 11:01:25 EDT 2025
Tue Jul 01 04:04:25 EDT 2025
Tue May 20 02:10:22 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 58
Keywords decision procedures
Contact logics interpreted over intervals
tableaux approach
Language English
License https://creativecommons.org/licenses/by/4.0
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c2170-6a957e5fb1efb4e34dcdbdf4600b547bfd3a72b4412b8b41084dd6e17ae7f4793
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
OpenAccessLink https://www.ceeol.com//search/article-detail?id=1219476
PQID 2922511787
PQPubID 1316349
PageCount 11
ParticipantIDs ceeol_journals_1219476
proquest_journals_2922511787
crossref_primary_10_4467_20842589RM_23_001_18800
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2023-00-00
PublicationDateYYYYMMDD 2023-01-01
PublicationDate_xml – year: 2023
  text: 2023-00-00
PublicationDecade 2020
PublicationPlace Kraków
PublicationPlace_xml – name: Kraków
PublicationTitle Reports on mathematical logic
PublicationTitleAlternate Reports on Mathematical Logic
PublicationYear 2023
Publisher Wydawnictwo Uniwersytetu Jagiellońskiego
Jagiellonian University Press
Jagiellonian University-Jagiellonian University Press
Publisher_xml – name: Wydawnictwo Uniwersytetu Jagiellońskiego
– name: Jagiellonian University Press
– name: Jagiellonian University-Jagiellonian University Press
References ref13
Düntsch (ref6) 2005; 347
ref11
ref10
ref0
ref2
ref8
ref7
ref9
ref4
ref3
ref5
Van Benthem (ref12) 1975; 40
Balbiani (ref1) 2014; 129
References_xml – volume: 129
  start-page: 301
  year: 2014
  ident: ref1
  publication-title: Fundamenta Informaticae
  doi: 10.3233/FI-2014-973
– ident: ref13
– ident: ref10
  doi: 10.2168/LMCS-6(3:7)2010
– ident: ref2
– ident: ref9
  doi: 10.1093/oso/9780198233978.001.0001
– ident: ref5
– ident: ref8
  doi: 10.1007/3-540-48384-5_17
– volume: 40
  start-page: 85
  year: 1975
  ident: ref12
  publication-title: Journal of Symbolic Logic
  doi: 10.2307/2272270
– ident: ref7
  doi: 10.1305/ndjfl/1093894722
– ident: ref3
  doi: 10.3166/jancl.17.39-61
– ident: ref4
  doi: 10.1017/CBO9781107050884
– ident: ref0
– volume: 347
  start-page: 498
  year: 2005
  ident: ref6
  publication-title: Theoretical Computer Science
  doi: 10.1016/j.tcs.2005.06.030
– ident: ref11
  doi: 10.1007/978-0-387-69245-6_6
SSID ssj0000562623
Score 2.211199
Snippet Contact logics are modal logic that is developed for reasoning about region-based theories of space. We develope a tableaux approach for contact logics...
SourceID proquest
crossref
ceeol
SourceType Aggregation Database
Index Database
Publisher
StartPage 3
SubjectTerms Boolean
Economy
Intervals
Language
Semantics
Theorems
Title Tableaux approach for contact logics interpreted over intervals
URI https://www.ceeol.com//search/article-detail?id=1219476
https://www.proquest.com/docview/2922511787
Volume 58
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LSwMxEA7aXvQgvorVWnLwunWTzb5ORaUPxFYpLdTTkmwSEKSt3Rb8-c7so6UXTwtZWNgvw8w3k8k3hDxEsbY2Fb7jpZo7gvHUkdZ1HcmtkhCAIMrgfefROBjOxOvcn5cFt6xsq6x8Yu6o9TLFGvkjjzmyYbCv7urHwalReLpajtA4JnVwwREkX_Xn3vhjsquyYHgP8hlvKK3n8NgVRZMXZEEhJP54CBXFk1GHo9Ap66A6mYtqncYsvw9D1aGnzsNP_5yclbyRPhUbfUGO1ttLcjraia5mV6Q7xWtQcvtLK6FwCoyUYjO6TDc0d3IZ_aq6DI2m2L5ZLIC9Zddk1u9NX4ZOOR_BSTnOiwlk7IfGt4oZq4TxhE610lYAh1G-CJXVngy5AsLDVaQEg7_VOjAslCa0WFFrkNpiuTA3hCKyPF-E9AkohPIlxPLIt8xqzS1rkkYOSVJaeJYwcHUiDJrErTBKVoU-RgJ5BcKb7OFNuIfNc0kOb5O0Kiz3n9tv7-3_r-_ICU58L6ogLVLbrLfmHnjBRrXJcdQftEsTwOfn--DtD8HAtWM
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwzV1LTxsxEB7RcGg50AdFhKatD3DcsDvxvg4V6ouGkoCEgkRPi722JQQiKJuIx1_hr_DjOrMPInrghtTrrmRpPWN_38x-_gywkaTGuVyGXi836MkAc0853_cUOq0IgAhl-LzzcD_qH8nfx-HxAtw1Z2FYVtnsieVGbcY598i3MEVmw5RftYJyz95cUX1WfNn9QcHcRNz5Ofre9-orBLwc-UqVSKVhbEOnA-u0tD1pcqONkwTzOpSxdqanYtTECVAnWgZ-Io2JbBArGztuOtG4L2CRqgoMW7D47c_Br8FDC4e5Q1ReIMe-fR6mvqwUZFRixVvo8x-uJD0cdpFdVIMuW5_5bAVq7fj8MQ4-hoES23Zew30zK5Wk5aw7m-pufvuPYeR_Om1vYLnm1OJrtQjewsJk9g6Whg-GtMUKbI_4iJiaXYvGRF0QWxcs1Ff5VJQAUIjTRoFpjWBpa_WA1mLxHo6e5QtWoXUxvrBrIHj6sHxIpSXRKx0q4jlJ6AJnDLqgDatlRLN69RdZQDAg46gNfhPi7LLyDsmo5uLsyObZkWGPhYVZmR1t6DRhnA83j-H6068_w8v-aDjIBrv7ex_gFRIfq7pFHWhNJzP7kfjTVH-q81jAyXPnwF-fUSTV
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LSwMxEB60guhBfGJ95qDHtbtp9nWQ4qu0aksRBW9rsklAEKvdFvWv-euc2YelF29es5DDl29nvplMZgCOolhbmwrfaaaaO8LjqSOt6zqSWyXRAaGXoffOvX7QeRDXj_7jHHxXb2GorLKyibmh1sOUcuQNHnNSw8ivhi3LIgaX7dbbu0MTpOimtRqnUVDkxnx9YPiWnXYv8ayPOW9f3V90nHLCgJNymrgSyNgPjW-VZ6wSpil0qpW2AlWA8kWorG7KkCuUDFxFSnhuJLQOjBdKE1rKSeG-87AQYlTk1mDh_Ko_uPvN8JC0CPL5ctTWz-GxK4oCM4zAwgZ36QIsiu96J5yarHon1BnNpU6hxgxfZt3krJfIXV97FVZKzcrOCpKtwdxosg7Lvd-Gr9kGtO7pCZacfLKqSTlDNcyoEF6mY5Yb2Iw9VxWORjMqHS0WkOvZJjz8C3JbUHsdvpptYHSqPF_E0A3li_Il6ojIt57VmluvDls5JEn5d2WJh2ZWhEEd3Aqj5K3ozZFgTEPwJlN4E96kwr0kh7cOexWW0-2m1Nr5-_MhLCLnkttu_2YXlmjwfJGM2YPaeDQx-yhPxuqg5AGDp_-m3g93u_Sn
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=Tableaux+approach+for+contact+logics+interpreted+over+intervals&rft.jtitle=Reports+on+mathematical+logic&rft.au=%C3%96zdemir%2C+Zafer&rft.date=2023&rft.pub=Jagiellonian+University-Jagiellonian+University+Press&rft.issn=0137-2904&rft.eissn=2084-2589&rft.issue=58&rft.spage=3&rft_id=info:doi/10.4467%2F20842589RM.23.001.18800&rft.externalDBID=HAS_PDF_LINK
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Fwww.ceeol.com%2F%2Fapi%2Fimage%2Fgetissuecoverimage%3Fid%3Dpicture_2023_80483.jpg