- Strong Negation is Definable in 2Int
2025/01/23 by Hrafn Valtýr Oddsson, Oddsson, Hrafn Valtýr · 1 citation
Computer Science · #03B53 #03B60 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
- Reasoning Around Paradox with Grounded Deduction
2024/09/12 by Bryan Ford, Ford, Bryan · 1 citation
Computer Science · #03B60 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Natural Language Processing Techniques #Semantic Web and Ontologies #Topic Modeling
- Blok-Esakia Theorems via Stable Canonical Rules
2022/06/17 by Bezhanishvili, Nick, Cleani, Antonio Maria · 3 citations
#03B44 #03B45 #03B55 #03B60 #03F45 #FOS: Mathematics #Logic (math.LO)
- Propositional union closed team logics
2020/08/24 by Yang, Fan · 3 citations
#03B60 #FOS: Mathematics #Logic (math.LO)
- Complete logics for elementary team properties
2019/04/18 by Kontinen, Juha, Yang, Fan · 1 citation
#03B60 #FOS: Mathematics #Logic (math.LO)
- De Finettian Logics of Indicative Conditionals
2019/01/29 by Egré, Paul, Rossi, Lorenzo, Sprenger, Jan · 2 citations
#03A05 #03B50 #03B53 #03B60 #FOS: Mathematics #Logic (math.LO)
- Tractability Frontier of Data Complexity in Team Semantics
2015/03/03 by Durand, Arnaud, Kontinen, Juha, de Rugy-Altherre, Nicolas +1 · 1 citation
#03B60 #68Q60 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Reasoning About Strategies: On the Model-Checking Problem
2011/12/29 by Fabio Mogavero, Aniello Murano, Mogavero, Fabio +5 · 7 citations
Computer Science · #03B60 #68Q60 (Primary) 03B70 (Secondary) 03B44 #F.3.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)
- Inclusion and Exclusion Dependencies in Team Semantics: On Some Logics of Imperfect Information
2011/06/07 by Galliani, Pietro · 5 citations
#03B60 #03C80 #03C85 #FOS: Mathematics #Logic (math.LO)