Logic and Its Applications
portes grátis
Logic and Its Applications
11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings
Srivastava, Shashi Mohan; Sen, Prabal Kumar; Aiswarya, C.
Springer International Publishing AG
05/2025
258
Mole
Inglês
9783031896095
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
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.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer science logic;mathematical logic;philosophical logic;descriptive set theory;modal logic;dynamic epistemic logic;multi-agent systems;automata theory and logic;concurrency;history of logic;Indian philosophical systems;many valued logics
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.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
