Overview

Full Product Details

Author:   C. Aiswarya ,  Prabal Kumar Sen ,  Shashi Mohan Srivastava
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15402
ISBN:  

9783031896095

ISBN 10:   3031896092
Pages:   263
Publication Date:   28 May 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

On Extensions of Partial Isometries.- The Specker-Blatter Theorem: An Application of Logic to Combinatorial Counting.- Propositional Dynamic Logic Formula Synthesis and some Applications.- NSOP1 as a dividing line.- Asynchronous transition system games for two processes and their analysis.- Relational Companions of Logics.- Bounded Henkin Quantifiers and the Exponential Time Hierarchy.- Monotone Modal Logic beyond Distributivity.- Recognizing Numbers.- There is hope for connexive set theories!.- Semantics of Basic Modal Language via a Rough Set Framework.- Modal and intermediate logics of spiked Boolean algebras.- Equivalence of Deterministic Weighted Real-time One-Counter Automata.- Passive Learning of Fuzzy Temporal Logic Rules from Finite Traces.- A Mimamsa Inspired Framework towards Temporal Reasoning in Large Language Models.- Measurement-Theoretic Foundations of Logic of Inexact Knowledge.- Craig Interpolation for Awareness Logics.- Knowable as Knowing How to Inquire.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions