Results 41 to 50 of about 76,636 (151)

Knowledge and ignorance in Belnap–Dunn logic [PDF]

, 2023
Daniil Kozhemiachenko, Liubov Vashentseva   +1 more
openalex   +1 more source

Quine on Logic, Propositional Attitudes, and the Unity of Knowledge

Principia: An International Journal of Epistemology, 2003
I shall examine Quine’s conception of logic, of propositional attitudes, and of the unity of knowledge in order to show that there are some tensions in Quine’s system.
André Leclerc
doaj  

Application of ALSV(FD) logic and XTT knowledge representation in the range of ADI properties

Archives of Foundry Engineering, 2016
The objective of studies presented in this publication was structuring of research knowledge about the ADI functional properties and changes in these properties due to material treatment.
Regulski K., Wilk-Kołodziejczyk D., Rojek G., Kluska-Nawarecka S., Adrian W.T.   +4 more
doaj   +1 more source

Logics with Group Announcements and Distributed Knowledge: Completeness and Expressive Power [PDF]

, 2022
Thomas Ågotnes, Natasha Alechina, Rustam Galimullin   +2 more
openalex   +1 more source

Cut free sequent calculus for logic S5n(ED)

Lietuvos Matematikos Rinkinys, 2010
Hilbert style, Gentzen style sequent and Kanger style sequent calculi for logic S5n(ED) are considered in this paper. Gentzen style sequent calculus is constructed and its equivalence with Hilbert style system is proved, getting soundness and ...
Haroldas Giedra
doaj   +1 more source

BRANISLAV PETRONIJEVIĆ’S LOGIC

Истраживања, 2012
The transition from the science of forms of thought and methods of knowledge to thescience of principles of objective logical content of being was indicated through foundations,structure and theoretical scope of formal and metaphysical logic in the ...
Мирко В. Аћимовић
doaj  

Prefixed tableaux for multi-modal logic of knowledge with inclusions

Lietuvos Matematikos Rinkinys, 2003
There is not abstract.
Jūratė Sakalauskaitė
doaj   +3 more sources

The Satisfiability Problem in Linear Multi-agent Knowledge Logic Based on N

Известия Иркутского государственного университета: Серия "Математика"
In this paper we explore the linear logic of multi-agent knowledge using multivalued models. The logic of the language contains the unary operators $K_{j}$ --- $j$ --- the agent knows, $ULK_{G}$ --- unstable local knowledge, $E_{G}$ --- stable local ...
N.A. Protsenko, V.V. Rybakov
doaj   +1 more source

Evaluation of creative project production performance in mathematical logic and computational thinking skills among gifted high school students

Acta Psychologica
This study examines the experiences of gifted high school students in transforming mathematical logic knowledge and skills into creative project productivity and computational thinking skills (CTS) through their logic-based project productions.
Gülnur Özbek, Gökhan Karaaslan, Ecem Karabulut   +2 more
doaj   +1 more source

Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy [PDF]

, 2022
Christoph Benzmüller, Sebastian Reiche
openalex   +1 more source