nopeNov 13, 2023
Contextual Modal Type Theory
(2008) : Nanevski, Aleksandar Pfenning,...
DOI: https://doi.org/10.1145/1352582.1352591
#intuitional_logic #context #modal_logic #type_theory #my_bibtex
Contextual modal type theory | ACM Transactions on Computational Logic

The intuitionistic modal logic of necessity is based on the judgmental notion of categorical truth. In this article we investigate the consequences of relativizing these concepts to explicitly specified contexts. We obtain contextual modal logic and its ...

ACM Transactions on Computational Logic
nopeMay 19, 2023
On the Unity of Logic
(1993) : Girard, Jean-Yves
DOI: https://doi.org/10.1016/0168-0072(93)90093-s
#sequent_calculus #__important #linear_logic #intuitional_logic #fragments #my_bibtex
nopeMay 18, 2023
The Logic of Bunched Implications
(1999) : O'Hearn, Peter W. Pym, David J...
DOI: https://doi.org/10.2307/421090
#intuitional_logic #semantics #linear_logic #my_bibtex
The Logic of Bunched Implications | Bulletin of Symbolic Logic | Cambridge Core

The Logic of Bunched Implications - Volume 5 Issue 2

Cambridge Core
nopeAug 27, 2022
How Institutional Logics Matter: a Bottom-Up Exploration
(2016) : Zilber, Tammar B.
DOI: https://doi.org/10.1108/S0733-558X201600048A005
#action #constructivism #ethnography #institution #intuitional_logic #micro #ontology #qualitative
#my_bibtex
How Institutional Logics Matter: A Bottom-Up Exploration | Emerald Insight

How Institutional Logics Matter: A Bottom-Up Exploration - Author: Tammar B. Zilber

nopeAug 23, 2022
Temporal Interpretation of Intuitionistic Quantifiers
(2020) : Guram Bezhanishvili and Luca Carai
url: http://www.aiml.net/volumes/volume13/
#godel_translation #intuitional_logic #modal_logic #temporal_interpretation #temporal_logic
#my_bibtex
AiML: Volume 13

nopeAug 5, 2022
The pleadings game: An artificial intelligence model of procedural justice
(2013) : Gordon, Thomas F
DOI: https://doi.org/10.1007/978-94-015-8447-0
#ai #conflict #defeasible_logic #dialogue_logic #institution #intuitional_logic #justice #law #legal_l
#my_bibtex
nopeMay 31, 2022
Intuitionistic basis for input/output logic
(2014) : Parent, Xavier and Gabbay, Dov and van der Torre, Leendert
DOI: https://doi.org/10.1007/978-94-007-7759-0_13
#deontic_logic #input_output_logics #intuitional_logic #semantics
#my_bibtex