logiciels < logics < logique

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by logics

Number of relevant bibliographic references: 74.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000581 (2015-04-15)	Jean-René Courtault [France]	Dynamic Resource Logics : Models, Properties and Proofs
000676 (2015)	Laura Bozzelli [Espagne] ; Bastien Maubert [France] ; Sophie Pinchinat [France]	Unifying Hyper and Epistemic Temporal Logics
000677 (2015)	Didier Galmiche [France] ; Yakoub Salhi [France]	Tree-sequent calculi and decision procedures for intuitionistic modal logics
000789 (2015)	Didier Galmiche [France] ; David Pym [Royaume-Uni]	Special Issue on Logics for Resources, Processes, and Programs of Journal of Logic and Computation
000A13 (2014-08)	Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France]	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
000A24 (2014-07-23)	Damien Doligez [France] ; Jael Kriener [France] ; Leslie Lamport [États-Unis] ; Tomer Libal [France] ; Stephan Merz [France]	Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics
000D54 (2014)	Carlos Areces [Argentine] ; Hans Van Ditmarsch [France] ; Raul Fervari [France] ; François Schwarzentruber [France]	Logics with Copy and Remove
000E54 (2014)	Can Baskent [France]	Topological Semantics for da Costa Paraconsistent Logics Cω and C*ω
000E67 (2014)	Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France]	On the relative succinctness of modal logics with union, intersection and quantification
000F92 (2013-10-14)	Sylvain Pogodalla [France]	Comments to Yao and Zou on: "Hybrid Categorial Type Logics and the Formal Treatment of Chinese"
001357 (2013)	Tim French [Australie] ; Wiebe Hoek [Royaume-Uni] ; Petar Iliev [France] ; Barteld P. Kooi [Pays-Bas]	On the succinctness of some modal logics
001377 (2013)	Hans Van Ditmarsch [France] ; Wiebe Hoek [Royaume-Uni] ; Ji Ruan [France]	Connecting dynamic epistemic and temporal epistemic logics
001475 (2013)	Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine]	Tableaux for Relation-Changing Modal Logics
001574 (2013)	Agata Ciabattoni [Autriche] ; Paolo Maffezioli [Pays-Bas] ; Lara Spendier [Autriche]	Hypersequent and Labelled Calculi for Intermediate Logics
001581 (2013)	Hendrik Tews [Allemagne]	Formalizing Cut Elimination of Coalgebraic Logics in Coq
001615 (2013)	Fabio Papacchini [Royaume-Uni] ; Renate A. Schmidt [Royaume-Uni]	Computing Minimal Models Modulo Subset-Simulation for Modal Logics
002738 (2011)	Christoph Benzmüller [États-Unis]	Combining and automating classical and non-classical logics in classical higher-order logics
002905 (2010-12-13)	Guillaume Hoffmann [France]	Reasoning Tasks for Hybrid Logics
002929 (2010-12-03)	Yakoub Salhi [France]	Multi-contextual Structures and Intuitionistic and Hybrid modal logics
002B04 (2010-08-31)	Carlos Areces [France] ; Santiago Figueira ; Sergio Mera [France]	The Expressive Power of Memory Logics
002B38 (2010-08-12)	Carlos Areces [France] ; Daniel Gorín [France]	Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction)

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "logics" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "logics" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    logics
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022