Results 81 to 90 of about 2,148,404 (272)

Social Mapping: Analisis Aktor dan Potensi Sosial Pada Masyarakat Kelurahan Karangsentul Kabupaten Purbalingga

Indonesian Community Development Journal, 2022
Social mapping digunakan untuk menggambarkan wilayah tertentu, baik pada analisis aktor dan potensi sosial wilayah tertentu. Penelitian ini bertujuan mengetahui pemetaan sosial pada analysis aktor dan potensi sosial pada masyarakat Kelurahan ...
Fitria Zana Kumala, Muhammad Ulil Albab
doaj  

Probabilistic Justification Logic

Philosophies, 2018
Justification logics are constructive analogues of modal logics. They are often used as epistemic logics, particularly as models of evidentialist justification.
Joseph Lurie
doaj   +1 more source

Evaluation of the Dynamic Behavior and Vibrations of the Operator-Vehicle Assembly in Electric Agricultural Tractor Operations: A Simulation Approach for Sustainable Transport Systems

Systems
This study presents an advanced simulation-based methodology for evaluating the dynamic vibrational behavior of the operator–vehicle assembly in autonomous electric agricultural tractors.
Teofil-Alin Oncescu, Ilona Madalina Costea, Ștefan Constantin Burciu, Cristian Alexandru Rentea   +3 more
doaj   +1 more source

A Characterization Theorem for a Modal Description Logic

, 2017
Modal description logics feature modalities that capture dependence of knowledge on parameters such as time, place, or the information state of agents.
Schröder, Lutz, Wild, Paul
core   +1 more source

A new type of intuitionistic fuzzy modal operators over intuitionistic fuzzy pairs [PDF]

, 2021
Krassimir Atanassov
openalex   +1 more source

PEMODELAN PASAR KEUANGAN DENGAN MEKANIKA KUANTUM [PDF]

, 2009
Mekanika Kuantum dicoba untuk digunakan dalam pemodelan pasar keuangan. Pasar finansial tersusun atas pelaku pasar, jumlah uang yang dimiliki penanam modal, sekuritas dan harga sekuritas. Penyusun pasar finansial tersebut dapat menjadi basis lengkap yang
Dwi, Satya Palupi
core  

Modal Operators for Coequations

Electronic Notes in Theoretical Computer Science, 2001
AbstractWe present the dual to Birkhoff's variety theorem in terms of predicates over the carrier of a cofree coalgebra. We then discuss the dual to Birkhoff's completeness theorem, showing how closure under deductive rules dualizes to yield two modal operators acting on coequations.
openaire   +1 more source

Succinctness in subsystems of the spatial mu-calculus

, 2017
In this paper we systematically explore questions of succinctness in modal logics employed in spatial reasoning. We show that the closure operator, despite being less expressive, is exponentially more succinct than the limit-point operator, and that the $
Fernández-Duque, David, Iliev, Petar
core  

A Nonmonotonic Sequent Calculus for Inferentialist Expressivists [PDF]

, 2016
I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical ...
Hlobil, Ulf
core  

The Logic of Truth in Paraconsistent Internal Realism

Studia Philosophica Estonica, 2008
The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Manuel Bremer
doaj