001454925 000__ 03882cam\a22005897i\4500
001454925 001__ 1454925
001454925 003__ OCoLC
001454925 005__ 20230314003235.0
001454925 006__ m\\\\\o\\d\\\\\\\\
001454925 007__ cr\cn\nnnunnun
001454925 008__ 230301s2023\\\\sz\\\\\\o\\\\\101\0\eng\d
001454925 019__ $$a1371142337$$a1371280416
001454925 020__ $$a9783031266898$$q(electronic bk.)
001454925 020__ $$a3031266897$$q(electronic bk.)
001454925 020__ $$z9783031266881
001454925 020__ $$z3031266889
001454925 0247_ $$a10.1007/978-3-031-26689-8$$2doi
001454925 035__ $$aSP(OCoLC)1371437879
001454925 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP
001454925 049__ $$aISEA
001454925 050_4 $$aBC5
001454925 08204 $$a160$$223/eng/20230301
001454925 1112_ $$aICLA (Conference : Logic)$$n(10th :$$d2023 :$$cIndore, India)
001454925 24510 $$aLogic and its applications :$$b10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings /$$cMohua Banerjee, A.V. Sreejith, editors.
001454925 2463_ $$aICLA 2023
001454925 264_1 $$aCham :$$bSpringer,$$c2023.
001454925 300__ $$a1 online resource (213 pages)
001454925 336__ $$atext$$btxt$$2rdacontent
001454925 337__ $$acomputer$$bc$$2rdamedia
001454925 338__ $$aonline resource$$bcr$$2rdacarrier
001454925 4901_ $$aLecture notes in computer science ;$$v13963
001454925 4901_ $$aFoLLI publications on logic, language and information
001454925 500__ $$aIncludes author index.
001454925 5050_ $$aA Note on the Ontology of Mathematics -- Boolean Functional Synthesis: From Under the Hood of Solvers -- Labelled Calculi for Lattice-based Modal Logics -- Two Ways to Scare a Gruffalo -- Determinacy Axioms and Large Cardinals -- Big ideas from logic for mathematics and computing education -- Modal Logic of Generalized Separated Topological Spaces -- Multiple-valued Semantics for Metric Temporal Logic -- Segment transit function of the induced path function of graphs and its first-order definability -- Fuzzy Free Logic with Dual Domain Semantics -- A New Dimension of Imperative Logic. -Quasi-Boolean based models in Rough Set theory: A case of Covering -- Labelled calculi for the logics of rough concepts -- An Infinity of Intuitionistic Connexive Logics -- Relational Semantics for Normal Topological Quasi-Boolean Logic.
001454925 506__ $$aAccess limited to authorized users.
001454925 520__ $$aEdited in collaboration with FoLLI, this book constitutes the refereed proceedings of the 10th Indian Conference on Logic and Its Applications, ICLA 2023, which was held in Indore, India, in March 2023. Besides 6 invited papers presented in this volume, there are 9 contributed full papers which were carefully reviewed and selected from 18 submissions. The volume covers a wide range of topics. These topics are related to modal and temporal logics, intuitionistic connexive and imperative logics, systems for reasoning with vagueness and rough concepts, topological quasi-Boolean logic and quasi-Boolean based rough set models, and first-order definability of path functions of graphs.
001454925 588__ $$aDescription based on print version record.
001454925 650_0 $$aLogic$$vCongresses.
001454925 650_0 $$aComputer logic$$vCongresses.
001454925 650_0 $$aLanguage and logic$$vCongresses.
001454925 655_0 $$aElectronic books.
001454925 7001_ $$aBanerjee, Mohua,$$eeditor.$$1https://isni.org/isni/0000000122332397
001454925 7001_ $$aSreejith, A. V.,$$eeditor.
001454925 77608 $$iPrint version:$$aICLA (Conference : Logic) (10th : 2023 : Indore, India), creator.$$tLogic and its applications.$$dCham : Springer Nature Switzerland, 2023$$z9783031266881$$w(OCoLC)1368269310
001454925 830_0 $$aLecture notes in computer science ;$$v13963.
001454925 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
001454925 852__ $$bebk
001454925 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-26689-8$$zOnline Access$$91397441.1
001454925 909CO $$ooai:library.usi.edu:1454925$$pGLOBAL_SET
001454925 980__ $$aBIB
001454925 980__ $$aEBOOK
001454925 982__ $$aEbook
001454925 983__ $$aOnline
001454925 994__ $$a92$$bISE