Filters
A Duality for Distributive Unimodal Logic
We introduce distributive unimodal logic as a modal logic of binary relations over posets which naturally generalizes the classical modal logic of binary semantics of intuitionistic modal logi...
BA - Obecná matematika
- 2014 •
- D
Rok uplatnění
D - Stať ve sborníku
Substructural logics with a reflexive transitive closure modality
. Normal modal logics with such modalities are well-explored but weaker logics are not. We add a reflexive transitive closure box modality to the modal non-associative and weak completeness for in...
Philosophy, History and Philosophy of science and technology
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Advances in Modal Logic, Volume 15
in Modal Logic /15./. Prague (CZ), 19.08.2024-22.08.2024] ABSTRAKT: Since ancient times led to the modern field of modal logic, a lively area of research at the interface of philosophy, mathematics and computer sc...
Pure mathematics
- 2024 •
- O •
- Link
Rok uplatnění
O - Ostatní výsledky
Výsledek na webu
Modal Logic - a Tool for Design Process Formalisation
Modal logic, design theory.
JC - Počítačový hardware a software
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Modal Logic - a Tool for Design Process Formalisation
Modal logic, design theory.
JC - Počítačový hardware a software
- 2003 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Modal Logic - a Tool for Design Process Description
Modal logic, design theory.
JC - Počítačový hardware a software
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Carnap's modal logic C
In this paper, Carnap's modal logic C is presented and its relationship with the logic S5 is investigated.
AA - Filosofie a náboženství
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
The Logic and Semantics of Modal Propositions in Juan Caramuel
The article introduces logical doctrine of modalities in Juan Caramuel y Lobkowicz. It focuses on his understanding of contingency and the issue of including the mode of liberty among the modals. Caramuel's treatment of
AA - Filosofie a náboženství
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Ordinary Modalities
Ordinary modalities are mostly not logical modalities. Two such modalities are defined: empirical necessity and empirical posibility....
AA - Filosofie a náboženství
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Special issues of Logic Journal of the IGPL ”Non-Classical Modal and Predicate Logics”
SOURCE: Logic Journal of the IGPL. Roč. 27, č. 4 (2019), s. 385-386. ISSN 1367-0751. ABSTRACT: There was a time when modal logic—any modal logic—was ‘non that quantifying into modal contexts is in...
Pure mathematics
- 2019 •
- O
Rok uplatnění
O - Ostatní výsledky
- 1 - 10 out of 14 430