scientific article; zbMATH DE number 7450023
From MaRDI portal
Publication:5018505
Carlos Areces, Raul Fervari, Valentin Cassano, Pablo F. Castro
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1907.09124
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity
- A deontic logic of action
- A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
- A logic for default reasoning
- Alternative approaches to default logic
- Interpolation and Beth definability in default logics
- The many valued and nonmonotonic turn in logic
- On the semantics of the ought-to-do
- Binary Decision Diagrams
- On deontic action logics based on Boolean algebra
- Introduction to Boolean Algebras
- Logic and structure
This page was built for publication: