×

zbMATH — the first resource for mathematics

Finger, Marcelo

Compute Distance To:
Author ID: finger.marcelo Recent zbMATH articles by "Finger, Marcelo"
Published as: Finger, Marcelo
Homepage: https://www.ime.usp.br/~mfinger/
External Links: MGP
Documents Indexed: 55 Publications since 1992, including 4 Books

Publications by Year

Citations contained in zbMATH

29 Publications have been cited 146 times in 90 Documents Cited by Year
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
28
1992
Approximate and limited reasoning: Semantics, proof theory, expressivity and control. Zbl 1101.68086
Finger, Marcelo; Wassermann, Renata
10
2004
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Zbl 1347.68331
Finger, Marcelo; De Bona, Glauber
9
2015
Towards polynomial approximations of full propositional logic. Zbl 1105.68101
Finger, Marcelo
8
2004
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
8
2000
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Zbl 1346.68183
De Bona, Glauber; Finger, Marcelo
7
2015
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
6
2013
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
6
2006
Polynomial approximations of full propositional logic via limited bivalence. Zbl 1111.68675
Finger, Marcelo
6
2004
Combining temporal logic systems. Zbl 0857.03008
Finger, Marcelo; Gabbay, Dov
6
1996
Towards classifying propositional probabilistic logics. Zbl 1352.03032
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo
5
2014
The universe of propositional approximations. Zbl 1088.68162
Finger, Marcelo; Wassermann, Renata
5
2006
The unrestricted combination of temporal logic systems. Zbl 1003.03015
Finger, Marcelo; Weiss, M. Angela
5
2002
Solutions for hard and soft constraints using optimized probabilistic satisfiability. Zbl 1390.68594
Finger, Marcelo; Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
4
2013
Equal rights for the cut: Computable non-analytic cuts in cut-based proofs. Zbl 1159.03038
Finger, Marcelo; Gabbay, Dov
4
2007
Non-normal modalisation. Zbl 1083.03024
Fajardo, Rogerio A. S.; Finger, Marcelo
4
2003
Logics for approximate reasoning: Approximating classical logic “from above”. Zbl 1031.68115
Finger, Marcelo; Wassermann, Renata
4
2002
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. Zbl 06958100
Finger, Marcelo; Preto, Sandro
3
2018
Cut-based abduction. Zbl 1156.03032
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
3
2008
DAG sequent proofs with a substitution rule. Zbl 1279.03079
Finger, Marcelo
3
2005
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic. Zbl 1044.03005
Broda, Sabine; Damas, Luís; Finger, Marcelo; Silva e Silva, Paulo
2
2004
Labelled natural deduction for substructural logics. Zbl 0929.03059
Broda, Krysia; Finger, Marcelo; Russo, Alessandra
2
1999
Handling database updates in two-dimensional temporal logic. Zbl 0798.68048
Finger, Marcelo
2
1992
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Zbl 07268902
Finger, Marcelo; Preto, Sandro
1
2020
Inconsistency measurement in probabilistic logic. Zbl 1451.68259
de Bona, Glauber; Finger, Marcelo; Potyka, Nico; Thimm, Matthias
1
2018
Analytic methods for the logic of proofs. Zbl 1189.03024
Finger, Marcelo
1
2010
Towards an efficient prover for the \(C_1\) paraconsistent logic. Zbl 1291.03020
Neto, Adolfo; Kaestner, Celso A. A.; Finger, Marcelo
1
2009
Approximations of modal logics: \(\mathbf K\) and beyond. Zbl 1138.03018
de Souza Rabello, Guilherme; Finger, Marcelo
1
2008
Computational solutions for structural constraints. Learning structural permissions in categorial grammar. Zbl 0976.03011
Finger, Marcelo
1
2001
Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics. Zbl 07268902
Finger, Marcelo; Preto, Sandro
1
2020
Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic. Zbl 06958100
Finger, Marcelo; Preto, Sandro
3
2018
Inconsistency measurement in probabilistic logic. Zbl 1451.68259
de Bona, Glauber; Finger, Marcelo; Potyka, Nico; Thimm, Matthias
1
2018
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Zbl 1347.68331
Finger, Marcelo; De Bona, Glauber
9
2015
Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation. Zbl 1346.68183
De Bona, Glauber; Finger, Marcelo
7
2015
Towards classifying propositional probabilistic logics. Zbl 1352.03032
De Bona, Glauber; Cozman, Fabio Gagliardi; Finger, Marcelo
5
2014
Semantics and proof-theory of depth bounded Boolean logics. Zbl 1315.03107
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
6
2013
Solutions for hard and soft constraints using optimized probabilistic satisfiability. Zbl 1390.68594
Finger, Marcelo; Le Bras, Ronan; Gomes, Carla P.; Selman, Bart
4
2013
Analytic methods for the logic of proofs. Zbl 1189.03024
Finger, Marcelo
1
2010
Towards an efficient prover for the \(C_1\) paraconsistent logic. Zbl 1291.03020
Neto, Adolfo; Kaestner, Celso A. A.; Finger, Marcelo
1
2009
Cut-based abduction. Zbl 1156.03032
D’Agostino, Marcello; Finger, Marcelo; Gabbay, Dov
3
2008
Approximations of modal logics: \(\mathbf K\) and beyond. Zbl 1138.03018
de Souza Rabello, Guilherme; Finger, Marcelo
1
2008
Equal rights for the cut: Computable non-analytic cuts in cut-based proofs. Zbl 1159.03038
Finger, Marcelo; Gabbay, Dov
4
2007
Cut and pay. Zbl 1108.03034
Finger, Marcelo; Gabbay, Dov
6
2006
The universe of propositional approximations. Zbl 1088.68162
Finger, Marcelo; Wassermann, Renata
5
2006
DAG sequent proofs with a substitution rule. Zbl 1279.03079
Finger, Marcelo
3
2005
Approximate and limited reasoning: Semantics, proof theory, expressivity and control. Zbl 1101.68086
Finger, Marcelo; Wassermann, Renata
10
2004
Towards polynomial approximations of full propositional logic. Zbl 1105.68101
Finger, Marcelo
8
2004
Polynomial approximations of full propositional logic via limited bivalence. Zbl 1111.68675
Finger, Marcelo
6
2004
The decidability of a fragment of \(\text{BB}'\text{IW}\)-logic. Zbl 1044.03005
Broda, Sabine; Damas, Luís; Finger, Marcelo; Silva e Silva, Paulo
2
2004
Non-normal modalisation. Zbl 1083.03024
Fajardo, Rogerio A. S.; Finger, Marcelo
4
2003
The unrestricted combination of temporal logic systems. Zbl 1003.03015
Finger, Marcelo; Weiss, M. Angela
5
2002
Logics for approximate reasoning: Approximating classical logic “from above”. Zbl 1031.68115
Finger, Marcelo; Wassermann, Renata
4
2002
Computational solutions for structural constraints. Learning structural permissions in categorial grammar. Zbl 0976.03011
Finger, Marcelo
1
2001
Temporal logic. Vol. 2. Mathematical foundations and computational aspects. Zbl 1014.03006
Gabbay, Dov M.; Reynolds, Mark A.; Finger, Marcelo
8
2000
Labelled natural deduction for substructural logics. Zbl 0929.03059
Broda, Krysia; Finger, Marcelo; Russo, Alessandra
2
1999
Combining temporal logic systems. Zbl 0857.03008
Finger, Marcelo; Gabbay, Dov
6
1996
Adding a temporal dimension to a logic system. Zbl 0798.03031
Finger, Marcelo; Gabbay, Dov M.
28
1992
Handling database updates in two-dimensional temporal logic. Zbl 0798.68048
Finger, Marcelo
2
1992
all top 5

Cited by 132 Authors

15 Finger, Marcelo
10 Gabbay, Dov M.
7 D’Agostino, Marcello
4 De Bona, Glauber
4 Thimm, Matthias
4 Zakharyaschev, Michael Viktorovich
3 Leitsch, Alexander
3 Potyka, Nico
3 Rasga, João
3 Sernadas, Cristina S.
3 Wassermann, Renata
2 Ågotnes, Thomas
2 Artale, Alessandro
2 Caleiro, Carlos
2 Casal, Filipe
2 de Rijke, Maarten
2 Diaconescu, Răzvan
2 Engelfriet, Joeri
2 Gordeev, Lev
2 Haeusler, Edward Hermann
2 Hetzl, Stefan
2 Hunter, Anthony
2 Kontchakov, Roman
2 Kracht, Marcus
2 Madeira, Alexandre
2 Modgil, Sanjay
2 Mordido, Andreia
2 Preto, Sandro
2 Reis, Giselle
2 Ryzhikov, Vladislav
2 Sernadas, Amilcar C.
2 Treur, Jan
2 van der Hoek, Wiebe
2 Weller, Daniel S.
2 Wolter, Frank
2 Wooldridge, Michael J.
1 Abraham, Michael
1 Adi, Kamel
1 Ahmadi, Reza H.
1 Alama, Jesse
1 Alves, Sandra
1 Baldi, Paolo
1 Baltazar, Pedro
1 Benevides, Mario R. F.
1 Blackburn, Patrick
1 Brewka, Gerhard
1 Broda, Simon A.
1 Caterina, Gianluca
1 Cline, M.
1 Cozman, Fabio G.
1 da Costa, V. G.
1 Dasu, Sriram
1 de Souza Rabello, Guilherme
1 Degtyarev, Anatoli Ivanovich
1 di Ianni, Lucas Fargoni
1 Dixon, Clare
1 Dörre, Jochen
1 Ebner, Gabriel
1 Fan, Xiaoting
1 Fattahi, Ali
1 Fisher, Michael E.
1 Fisher, Michael W.
1 Floridi, Luciano
1 Gagliardi Cozman, Fabio
1 Gaĭnă, Daniel
1 Gaintzarain, Jose
1 Gangle, Rocco
1 Ghari, Meghdad
1 Grant, John R.
1 Grégoire, Éric
1 Henderson, Thomas C.
1 Hermo, Montserrat
1 Hodkinson, Ian Martin
1 Hosni, Hykel
1 Hustadt, Ullrich
1 Jonker, Catholijn M.
1 Klein, Udo
1 Knoks, Aleks
1 Kokke, Pepijn
1 Konev, Boris
1 König, Esther
1 Konur, Savas
1 Kozhemiachenko, Daniil
1 Kutz, Oliver
1 Lettmann, Michael Peter
1 Lucio, Paqui
1 Lutz, Carsten
1 Ma, Ji
1 Marenke, David
1 Martins, Manuel António
1 Masini, Andrea
1 Mazure, Bertrand
1 Mitiche, Amar
1 Mittermeier, Engelbert
1 Montanari, Angelo
1 Müller, Thomas
1 Navarro, Marisa
1 Nenchev, Vladislav
1 Nickles, Matthias
1 Orejas, Fernando
...and 32 more Authors

Citations by Year