Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / Mohua Banerjee, A.V. Sreejith, editors.
ICLA (Conference : Logic) (10th : 2023 : Indore, India); Banerjee, Mohua, editor.; Sreejith, A. V., editor.
2023
BC5
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Logic and its applications : 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, proceedings / Mohua Banerjee, A.V. Sreejith, editors.
Meeting Name ICLA (Conference : Logic) (10th : 2023 : Indore, India)
ISBN 9783031266898 (electronic bk.)
3031266897 (electronic bk.)
9783031266881
3031266889
DOI https://doi.org/10.1007/978-3-031-26689-8
Published Cham : Springer, 2023.
Language English
Description 1 online resource (213 pages)
Item Number 10.1007/978-3-031-26689-8 doi
Call Number BC5
Dewey Decimal Classification 160
Summary Edited 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Description based on print version record.
Added Author Banerjee, Mohua, editor.
Sreejith, A. V., editor.
Series Lecture notes in computer science ; 13963.
Lecture notes in computer science. Lecture notes in artificial intelligence. FoLLI publications on logic, language and information.
Available in Other Form Logic and its applications.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
A 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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export